Skip to content

Actions: flux-rs/flux

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,271 workflow runs
1,271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add span to desugar and conv_resolved_lifetime (#972)
ci #1342: Commit 8e93f1c pushed by nilehmann
January 24, 2025 17:16 14m 49s main
January 24, 2025 17:16 14m 49s
add span to desugar and conv_resolved_lifetime
ci #1341: Pull request #972 synchronize by Zn2FePO424H2O
January 24, 2025 16:57 3m 25s Zn2FePO424H2O:main
January 24, 2025 16:57 3m 25s
add span to desugar and conv_resolved_lifetime
ci #1340: Pull request #972 opened by Zn2FePO424H2O
January 22, 2025 05:43 14m 43s Zn2FePO424H2O:main
January 22, 2025 05:43 14m 43s
prevent eta expansion in rty checking
ci #1339: Pull request #970 synchronize by vrindisbacher
January 14, 2025 22:22 3m 9s vrindisbacher/eta-unexpand
January 14, 2025 22:22 3m 9s
Check if variable in imm after encoding (#971)
ci #1338: Commit d306a87 pushed by nilehmann
January 14, 2025 20:11 14m 31s main
January 14, 2025 20:11 14m 31s
Check if expression is a variable in imm after encoding
ci #1337: Pull request #971 opened by nilehmann
January 14, 2025 19:56 14m 48s push-wmyyovpwrprs
January 14, 2025 19:56 14m 48s
prevent eta expansion in rty checking
ci #1336: Pull request #970 synchronize by vrindisbacher
January 13, 2025 21:07 2m 55s vrindisbacher/eta-unexpand
January 13, 2025 21:07 2m 55s
prevent eta expansion in rty checking
ci #1335: Pull request #970 opened by vrindisbacher
January 13, 2025 21:02 3m 17s vrindisbacher/eta-unexpand
January 13, 2025 21:02 3m 17s
add Dockerfile
ci #1334: Pull request #964 synchronize by kidq330
January 7, 2025 23:04 2m 42s kidq330:dockerfile
January 7, 2025 23:04 2m 42s
ci
ci #1333: by nilehmann
January 7, 2025 14:01 3m 19s main
January 7, 2025 14:01 3m 19s
Make normalize_projections take an InferCtxt
ci #1332: Pull request #968 opened by nilehmann
January 6, 2025 23:15 3m 5s push-unnmyzvxttmx
January 6, 2025 23:15 3m 5s
fix bv ord ops (#967)
ci #1331: Commit 561bc64 pushed by vrindisbacher
January 6, 2025 19:56 2m 45s main
January 6, 2025 19:56 2m 45s
Fix bv_ult built in
ci #1330: Pull request #967 opened by vrindisbacher
January 6, 2025 19:12 2m 56s vrindisbacher/fix-bitvec-comp
January 6, 2025 19:12 2m 56s
Upstream BV32 (#965)
ci #1329: Commit 24003ac pushed by nilehmann
January 6, 2025 19:02 2m 45s main
January 6, 2025 19:02 2m 45s
Upstream BV32
ci #1328: Pull request #965 synchronize by nilehmann
January 6, 2025 18:29 2m 43s push-tqzouxtoqxzr
January 6, 2025 18:29 2m 43s
Upstream BV32
ci #1327: Pull request #965 synchronize by nilehmann
January 6, 2025 18:26 2m 34s push-tqzouxtoqxzr
January 6, 2025 18:26 2m 34s
Upstream BV32
ci #1326: Pull request #965 synchronize by nilehmann
January 6, 2025 18:20 2m 37s push-tqzouxtoqxzr
January 6, 2025 18:20 2m 37s
Upstream BV32
ci #1325: Pull request #965 synchronize by nilehmann
January 6, 2025 16:09 2m 57s push-tqzouxtoqxzr
January 6, 2025 16:09 2m 57s
Upstream BV32
ci #1324: Pull request #965 opened by nilehmann
January 6, 2025 15:56 3m 0s push-tqzouxtoqxzr
January 6, 2025 15:56 3m 0s
add Dockerfile
ci #1323: Pull request #964 opened by kidq330
January 5, 2025 20:03 2m 56s kidq330:dockerfile
January 5, 2025 20:03 2m 56s
Support flux annotations in flux_rs (#963)
ci #1322: Commit 50e349d pushed by nilehmann
January 5, 2025 13:26 3m 43s main
January 5, 2025 13:26 3m 43s
Support flux annotations in flux_rs
ci #1321: Pull request #963 synchronize by nilehmann
January 5, 2025 13:19 3m 4s push-qxxpqpwwkxzo
January 5, 2025 13:19 3m 4s
Support flux annotations in flux_rs
ci #1320: Pull request #963 opened by nilehmann
January 4, 2025 04:33 3m 37s push-qxxpqpwwkxzo
January 4, 2025 04:33 3m 37s
Format book with prettier
ci #1319: Commit 7841177 pushed by nilehmann
January 2, 2025 18:30 3m 3s main
January 2, 2025 18:30 3m 3s
Fix playground link
ci #1318: Commit b967534 pushed by nilehmann
January 2, 2025 14:32 2m 57s main
January 2, 2025 14:32 2m 57s