Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
1,022 workflow runs
1,022 workflow runs

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 23: Verify Vec Part1 safety with Kani Build Book #2986: Pull request #598 synchronize by v3risec
5m 39s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
5m 39s
Challenge 23: Verify Vec Part1 safety with Kani Build Book #2985: Pull request #598 synchronize by v3risec
10m 37s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
10m 37s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2984: Pull request #582 synchronize by v3risec
5m 28s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 28s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2983: Pull request #582 synchronize by v3risec
7m 9s v3risec:challenge-26-rc
v3risec:challenge-26-rc
7m 9s
Challenge 8: verify smallsort safety and sorting correctness with Kani Build Book #2982: Pull request #694 opened by kasimte
6m 55s kasimte:8-build
kasimte:8-build
6m 55s
Build Book Build Book #2981: Merge group checks requested
7m 1s
7m 1s
Challenge 24: Verify Vec Part2 safety with Kani Build Book #2980: Pull request #599 synchronize by v3risec
6m 55s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
6m 55s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Build Book #2979: Pull request #683 synchronize by v3risec
5m 38s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
5m 38s
Challenge 23: Verify Vec Part1 safety with Kani Build Book #2978: Pull request #598 synchronize by v3risec
7m 3s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
7m 3s
Challenge 23: Verify Vec Part1 safety with Kani Build Book #2977: Pull request #598 synchronize by v3risec
7m 14s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
7m 14s
Build Book Build Book #2976: Merge group checks requested
5m 56s
5m 56s
Merge subtree update for toolchain nightly-2026-08-21 Build Book #2975: Pull request #687 synchronize by feliperodri
7m 6s sync-2026-08-21
sync-2026-08-21
7m 6s
Build Book Build Book #2974: Merge group checks requested
7m 3s
7m 3s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Build Book #2973: Pull request #683 synchronize by v3risec
7m 11s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
7m 11s
Challenge 23: verify Vec mod.rs function safety with Kani Build Book #2972: Pull request #692 opened by kasimte
5m 34s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
5m 34s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2971: Pull request #587 synchronize by feliperodri
7m 55s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 55s
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
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
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani Build Book #2968: Pull request #689 synchronize by kasimte
7m 38s kasimte:24-build
kasimte:24-build
7m 38s
Merge subtree update for toolchain nightly-2026-08-21 Build Book #2967: Pull request #687 synchronize by feliperodri
6m 55s sync-2026-08-21
sync-2026-08-21
6m 55s
Merge subtree update for toolchain nightly-2026-08-21 Build Book #2966: Pull request #687 synchronize by feliperodri
6m 55s sync-2026-08-21
sync-2026-08-21
6m 55s
Build Book Build Book #2965: Merge group checks requested
7m 1s
7m 1s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2964: Pull request #587 synchronize by v3risec
7m 0s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 0s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2963: Pull request #587 synchronize by v3risec
5m 38s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 38s
Challenge 4: Verify memory safety of BTreeMap node module with Kani Build Book #2962: Pull request #684 synchronize by v3risec
4m 28s v3risec:challenge-4-btree
v3risec:challenge-4-btree
4m 28s