Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
918 workflow runs
918 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 Rust Tests #2902: Pull request #684 opened by v3risec
5m 16s v3risec:challenge-4-btree
v3risec:challenge-4-btree
5m 16s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Rust Tests #2901: Pull request #678 synchronize by samiam713
18m 7s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
18m 7s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Rust Tests #2900: Pull request #678 synchronize by samiam713
23m 41s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
23m 41s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Rust Tests #2899: Pull request #678 synchronize by samiam713
6m 8s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
6m 8s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Rust Tests #2898: Pull request #683 synchronize by v3risec
48m 26s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
48m 26s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Rust Tests #2897: Pull request #683 opened by v3risec
43m 44s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
43m 44s
Challenge 25: Verify Vecdeque safety with Kani Rust Tests #2896: Pull request #605 synchronize by v3risec
6m 1s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
6m 1s
Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns) Rust Tests #2895: Pull request #681 synchronize by jrey8343
4m 10s jrey8343:challenge-25-vecdeque
jrey8343:challenge-25-vecdeque
4m 10s
Add Kani proof harnesses and contracts for unchecked_div_exact Rust Tests #2894: Pull request #672 synchronize by CYJ904
5m 33s CYJ904:yanjunchen904
CYJ904:yanjunchen904
5m 33s
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Rust Tests #2893: Pull request #618 synchronize by ivmat
5m 43s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
5m 43s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2892: Pull request #587 synchronize by v3risec
4m 58s v3risec:challenge-27-arc
v3risec:challenge-27-arc
4m 58s
Add AsciiExt is_ascii to autoharness CI Rust Tests #2891: Pull request #682 opened by acearyanarun
4m 21s acearyanarun:add-autoharness-ci-coverage
acearyanarun:add-autoharness-ci-coverage
4m 21s
Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns) Rust Tests #2890: Pull request #681 opened by jrey8343
5m 33s jrey8343:challenge-25-vecdeque
jrey8343:challenge-25-vecdeque
5m 33s
Update autoharness_analyzer for current AutoHarnessSkipReason variants Rust Tests #2889: 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 Rust Tests #2888: Pull request #582 synchronize by v3risec
4m 52s v3risec:challenge-26-rc
v3risec:challenge-26-rc
4m 52s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2887: Pull request #587 synchronize by v3risec
6m 9s v3risec:challenge-27-arc
v3risec:challenge-27-arc
6m 9s
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Rust Tests #2886: Pull request #618 synchronize by ivmat
3m 49s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
3m 49s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2885: Pull request #582 synchronize by v3risec
5m 29s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 29s
Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort Rust Tests #2884: Pull request #678 opened by samiam713
3m 54s samiam713:challenge-8-smallsort
samiam713:challenge-8-smallsort
3m 54s
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2883: Pull request #613 synchronize by feliperodri
5m 4s sync-2026-02-05
sync-2026-02-05
5m 4s
Rust Tests Rust Tests #2882: Merge group checks requested
5m 38s
5m 38s
Update Kani Metrics Rust Tests #2881: Pull request #676 opened by github-actions Bot
4m 35s update-kani-metrics
update-kani-metrics
4m 35s
Verify atomic types and intrinsic wrappers for Challenge 7 Rust Tests #2880: Pull request #675 opened by jellllly420
4m 33s jellllly420:codex/challenge-7-atomics
jellllly420:codex/challenge-7-atomics
4m 33s
Forward Kani arguments to AutoHarness list commands Rust Tests #2879: Pull request #674 opened by wodex1nhaoIeng
17m 22s wodex1nhaoIeng:codex/forward-autoharness-list-args
wodex1nhaoIeng:codex/forward-autoharness-list-args
17m 22s
Add Kani proof harnesses and contracts for unchecked_div_exact Rust Tests #2878: Pull request #672 synchronize by CYJ904
41m 13s CYJ904:yanjunchen904
CYJ904:yanjunchen904
41m 13s