Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
873 workflow runs
873 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 4: Verify memory safety of BTreeMap node module with Kani Build Book #2772: Pull request #684 opened by v3risec
5m 49s v3risec:challenge-4-btree
v3risec:challenge-4-btree
5m 49s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Build Book #2771: Pull request #678 synchronize by samiam713
18m 39s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
18m 39s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Build Book #2770: Pull request #678 synchronize by samiam713
15m 32s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
15m 32s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Build Book #2769: Pull request #678 synchronize by samiam713
7m 1s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
7m 1s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Build Book #2768: Pull request #683 synchronize by v3risec
9m 28s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
9m 28s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Build Book #2767: Pull request #683 opened by v3risec
9m 45s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
9m 45s
Challenge 25: Verify Vecdeque safety with Kani Build Book #2766: Pull request #605 synchronize by v3risec
5m 55s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
5m 55s
Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns) Build Book #2765: Pull request #681 synchronize by jrey8343
5m 55s jrey8343:challenge-25-vecdeque
jrey8343:challenge-25-vecdeque
5m 55s
Add Kani proof harnesses and contracts for unchecked_div_exact Build Book #2764: Pull request #672 synchronize by CYJ904
6m 37s CYJ904:yanjunchen904
CYJ904:yanjunchen904
6m 37s
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Build Book #2763: Pull request #618 synchronize by ivmat
7m 16s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
7m 16s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2762: Pull request #587 synchronize by v3risec
6m 48s v3risec:challenge-27-arc
v3risec:challenge-27-arc
6m 48s
Add AsciiExt is_ascii to autoharness CI Build Book #2761: Pull request #682 opened by acearyanarun
7m 7s acearyanarun:add-autoharness-ci-coverage
acearyanarun:add-autoharness-ci-coverage
7m 7s
Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns) Build Book #2760: Pull request #681 opened by jrey8343
6m 44s jrey8343:challenge-25-vecdeque
jrey8343:challenge-25-vecdeque
6m 44s
Update autoharness_analyzer for current AutoHarnessSkipReason variants Build Book #2759: Pull request #680 opened by srivatsansamraj
Action required srivatsansamraj:analyzer-kani-metadata-skip-reasons
srivatsansamraj:analyzer-kani-metadata-skip-reasons
Action required
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2758: Pull request #582 synchronize by v3risec
5m 16s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 16s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2757: Pull request #587 synchronize by v3risec
7m 8s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 8s
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Build Book #2756: Pull request #618 synchronize by ivmat
6m 54s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
6m 54s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2755: Pull request #582 synchronize by v3risec
7m 56s v3risec:challenge-26-rc
v3risec:challenge-26-rc
7m 56s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Build Book #2754: Pull request #678 opened by samiam713
6m 37s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
6m 37s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2753: Pull request #613 synchronize by feliperodri
7m 0s sync-2026-02-05
sync-2026-02-05
7m 0s
Build Book Build Book #2752: Merge group checks requested
6m 55s
6m 55s
Update Kani Metrics Build Book #2751: Pull request #676 opened by github-actions Bot
5m 12s update-kani-metrics
update-kani-metrics
5m 12s
Verify atomic types and intrinsic wrappers for Challenge 7 Build Book #2750: Pull request #675 opened by jellllly420
5m 18s jellllly420:codex/challenge-7-atomics
jellllly420:codex/challenge-7-atomics
5m 18s
Forward Kani arguments to AutoHarness list commands Build Book #2749: Pull request #674 opened by wodex1nhaoIeng
18m 56s wodex1nhaoIeng:codex/forward-autoharness-list-args
wodex1nhaoIeng:codex/forward-autoharness-list-args
18m 56s
Add Kani proof harnesses and contracts for unchecked_div_exact Build Book #2748: Pull request #672 synchronize by CYJ904
45m 17s CYJ904:yanjunchen904
CYJ904:yanjunchen904
45m 17s