Skip to content

Actions: runtimeverification/mir-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
RangeInteger abstraction for more compact representation Test #5087: Pull request #1061 synchronize by ehildenb
In progress range-abstraction
range-abstraction
In progress
RangeInteger abstraction for more compact representation Test #5086: Pull request #1061 opened by ehildenb
4m 42s range-abstraction
range-abstraction
4m 42s
Stable MIR UI Tests Stable MIR UI Tests #2: Manually run by Stevengre
1h 19m 57s master
master
1h 19m 57s
Stable MIR UI Tests Stable MIR UI Tests #1: Manually run by Stevengre
2m 15s master
master
2m 15s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5085: Pull request #1015 synchronize by Stevengre
1h 30m 59s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
1h 30m 59s
Split #traverseProjection write-back from path reconstruction Test #5084: Pull request #1055 synchronize by Stevengre
44m 21s codex/traverse-projection-invariant
codex/traverse-projection-invariant
44m 21s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5083: Pull request #1015 synchronize by Stevengre
1h 1m 39s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
1h 1m 39s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5082: Pull request #1015 synchronize by Stevengre
37m 51s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
37m 51s
[codex] externalize runtime locals into slot store Test #5081: Pull request #1059 synchronize by Stevengre
1h 1m 22s codex/20260411-locals-refactor
codex/20260411-locals-refactor
1h 1m 22s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5080: Pull request #1015 synchronize by Stevengre
17m 40s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
17m 40s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5079: Pull request #1015 synchronize by Stevengre
14m 35s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
14m 35s
Re-execution: Challenge 17: Verify the safety of slice functions Test #5078: Pull request #1042 synchronize by Stevengre
19m 6s verify-rust-std/reexec-0017-slice
verify-rust-std/reexec-0017-slice
19m 6s
feat(verify-rust-std): Challenge 9 — Duration formal verification (22/29 harnesses pass) Test #5077: Pull request #1034 synchronize by Stevengre
10m 28s verify-rust-std/reexec-0009-duration
verify-rust-std/reexec-0009-duration
10m 28s
feat(verify-rust-std): Challenge 9 — Duration formal verification (22/29 harnesses pass) Test #5076: Pull request #1034 synchronize by Stevengre
15m 42s verify-rust-std/reexec-0009-duration
verify-rust-std/reexec-0009-duration
15m 42s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5075: Pull request #1015 synchronize by Stevengre
35m 10s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
35m 10s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5074: Pull request #1015 synchronize by Stevengre
12m 9s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
12m 9s
feat(verify-rust-std): Challenge 9 — Duration formal verification (22/29 harnesses pass) Test #5073: Pull request #1034 synchronize by Stevengre
28m 23s verify-rust-std/reexec-0009-duration
verify-rust-std/reexec-0009-duration
28m 23s
Re-execution: Challenge 17: Verify the safety of slice functions Test #5072: Pull request #1042 synchronize by Stevengre
44m 31s verify-rust-std/reexec-0017-slice
verify-rust-std/reexec-0017-slice
44m 31s
Re-execution: Challenge 3: Verifying Raw Pointer Arithmetic Operations Test #5071: Pull request #1028 synchronize by Stevengre
1h 1m 23s verify-rust-std/reexec-0003-pointer-arithmentic
verify-rust-std/reexec-0003-pointer-arithmentic
1h 1m 23s
feat(verify-rust-std): Challenge 9 — Duration formal verification (22/29 harnesses pass) Test #5070: Pull request #1034 synchronize by Stevengre
3m 50s verify-rust-std/reexec-0009-duration
verify-rust-std/reexec-0009-duration
3m 50s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5069: Pull request #1015 synchronize by Stevengre
8m 3s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
8m 3s
feat(verify-rust-std): Challenge 9 — Duration formal verification (22/29 harnesses pass) Test #5068: Pull request #1034 synchronize by Stevengre
9m 52s verify-rust-std/reexec-0009-duration
verify-rust-std/reexec-0009-duration
9m 52s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5067: Pull request #1015 synchronize by Stevengre
29s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
29s
feat(verify-rust-std): Challenge 9 — Duration formal verification (22/29 harnesses pass) Test #5066: Pull request #1034 synchronize by Stevengre
7m 55s verify-rust-std/reexec-0009-duration
verify-rust-std/reexec-0009-duration
7m 55s
refactor(tests): distinguish -fail from -unsupported, auto-detect show specs Test #5065: Pull request #1015 synchronize by Stevengre
29s codex/20260403-assert-inhabited
codex/20260403-assert-inhabited
29s