Skip to content

Actions: model-checking/verify-rust-std

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
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Check PR Approvals #2203: Pull request #587 submitted by HuStmpHrrr
13s
13s
Update RAPx toolchain to nightly-2026-02-05 Check PR Approvals #2202: Pull request #690 submitted by feliperodri
11s
11s
Subtree Update Subtree Update #594: Scheduled
6m 37s main
main
6m 37s
Challenge 4: Verify memory safety of BTreeMap node module with Kani Testable simd models #828: Pull request #684 synchronize by v3risec
4m 58s v3risec:challenge-4-btree
v3risec:challenge-4-btree
4m 58s
Challenge 4: Verify memory safety of BTreeMap node module with Kani Build Book #2970: Pull request #684 synchronize by v3risec
5m 46s v3risec:challenge-4-btree
v3risec:challenge-4-btree
5m 46s
Challenge 4: Verify memory safety of BTreeMap node module with Kani KMIR #402: Pull request #684 synchronize by v3risec
26m 31s v3risec:challenge-4-btree
v3risec:challenge-4-btree
26m 31s
Challenge 4: Verify memory safety of BTreeMap node module with Kani VeriFast #1832: Pull request #684 synchronize by v3risec
38s v3risec:challenge-4-btree
v3risec:challenge-4-btree
38s
Challenge 4: Verify memory safety of BTreeMap node module with Kani Flux #1056: Pull request #684 synchronize by v3risec
3m 2s v3risec:challenge-4-btree
v3risec:challenge-4-btree
3m 2s
Challenge 4: Verify memory safety of BTreeMap node module with Kani Run GOTO Transcoder (ESBMC) #1881: Pull request #684 synchronize by v3risec
18m 1s v3risec:challenge-4-btree
v3risec:challenge-4-btree
18m 1s
Challenge 4: Verify memory safety of BTreeMap node module with Kani Rust Tests #3114: Pull request #684 synchronize by v3risec
6m 5s v3risec:challenge-4-btree
v3risec:challenge-4-btree
6m 5s
Challenge 4: Verify memory safety of BTreeMap node module with Kani RAPx #258: Pull request #684 synchronize by v3risec
2m 24s v3risec:challenge-4-btree
v3risec:challenge-4-btree
2m 24s
Challenge 4: Verify memory safety of BTreeMap node module with Kani Kani #3160: Pull request #684 synchronize by v3risec
2h 26m 6s v3risec:challenge-4-btree
v3risec:challenge-4-btree
2h 26m 6s
Challenge 4: Verify memory safety of BTreeMap node module with Kani VeriFast (negative) #1818: Pull request #684 synchronize by v3risec
36s v3risec:challenge-4-btree
v3risec:challenge-4-btree
36s
Update RAPx toolchain to nightly-2026-02-05 KMIR #401: Pull request #690 synchronize by hxuhack
26m 42s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
26m 42s
Update RAPx toolchain to nightly-2026-02-05 Build Book #2969: Pull request #690 synchronize by hxuhack
7m 3s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
7m 3s
Update RAPx toolchain to nightly-2026-02-05 Testable simd models #827: Pull request #690 synchronize by hxuhack
5m 32s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
5m 32s
Update RAPx toolchain to nightly-2026-02-05 Flux #1055: Pull request #690 synchronize by hxuhack
2m 54s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
2m 54s
Update RAPx toolchain to nightly-2026-02-05 VeriFast #1831: Pull request #690 synchronize by hxuhack
41s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
41s
Update RAPx toolchain to nightly-2026-02-05 RAPx #257: Pull request #690 synchronize by hxuhack
2m 32s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
2m 32s
Update RAPx toolchain to nightly-2026-02-05 VeriFast (negative) #1817: Pull request #690 synchronize by hxuhack
33s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
33s
Update RAPx toolchain to nightly-2026-02-05 Kani #3159: Pull request #690 synchronize by hxuhack
1h 27m 48s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
1h 27m 48s
Update RAPx toolchain to nightly-2026-02-05 Rust Tests #3113: Pull request #690 synchronize by hxuhack
5m 27s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
5m 27s
Update RAPx toolchain to nightly-2026-02-05 Run GOTO Transcoder (ESBMC) #1880: Pull request #690 synchronize by hxuhack
15m 8s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
15m 8s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani Rust Tests #3112: Pull request #689 synchronize by kasimte
5m 10s kasimte:24-build
kasimte:24-build
5m 10s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani Kani #3158: Pull request #689 synchronize by kasimte
1h 19m 31s kasimte:24-build
kasimte:24-build
1h 19m 31s