Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
1,079 workflow runs
1,079 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 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #3131: Pull request #582 synchronize by v3risec
6m 18s v3risec:challenge-26-rc
v3risec:challenge-26-rc
6m 18s
Reject byte offsets that wrap the pointer encoding in ptr contracts Rust Tests #3130: Commit fdc16bd pushed by feliperodri
26m 35s sync-2026-08-21
sync-2026-08-21
26m 35s
Update RAPx toolchain to nightly-2026-02-05 (#690) Rust Tests #3129: Commit 67dfd8c pushed by github-merge-queue Bot
25m 37s main
main
25m 37s
Challenge 8: verify smallsort safety and sorting correctness with Kani Rust Tests #3128: Pull request #694 opened by kasimte
11m 2s kasimte:8-build
kasimte:8-build
11m 2s
Update RAPx toolchain to nightly-2026-02-05 (#690) Rust Tests #3127: Commit 67dfd8c pushed by github-merge-queue Bot
13m 51s gh-readonly-queue/main/pr-690-5210ea4c32cebc38e1aa0aa0b742474842dd3095
gh-readonly-queue/main/pr-690-5210ea4c32cebc38e1aa0aa0b742474842dd3095
13m 51s
Rust Tests Rust Tests #3126: Merge group checks requested
24m 8s
24m 8s
Challenge 24: Verify Vec Part2 safety with Kani Rust Tests #3125: Pull request #599 synchronize by v3risec
6m 19s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
6m 19s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Rust Tests #3124: Pull request #683 synchronize by v3risec
5m 0s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
5m 0s
Challenge 23: Verify Vec Part1 safety with Kani Rust Tests #3123: Pull request #598 synchronize by v3risec
6m 31s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
6m 31s
Challenge 23: Verify Vec Part1 safety with Kani Rust Tests #3122: Pull request #598 synchronize by v3risec
5m 16s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
5m 16s
Rust Tests Rust Tests #3121: Merge group checks requested
5m 18s
5m 18s
Merge subtree update for toolchain nightly-2026-08-21 Rust Tests #3120: Pull request #687 synchronize by feliperodri
14m 8s sync-2026-08-21
sync-2026-08-21
14m 8s
Update RAPx toolchain to nightly-2026-02-05 (#690) Rust Tests #3119: Commit 6b7df16 pushed by github-merge-queue Bot
52m 26s gh-readonly-queue/main/pr-690-c3c0339cd793bb0e69615ca4449ad4ecd4a4c835
gh-readonly-queue/main/pr-690-c3c0339cd793bb0e69615ca4449ad4ecd4a4c835
52m 26s
Rust Tests Rust Tests #3118: Merge group checks requested
51m 21s
51m 21s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani Rust Tests #3117: Pull request #683 synchronize by v3risec
5m 17s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
5m 17s
Challenge 23: verify Vec mod.rs function safety with Kani Rust Tests #3116: Pull request #692 opened by kasimte
5m 6s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
5m 6s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #3115: Pull request #587 synchronize by feliperodri
5m 46s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 46s
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
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
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
Merge subtree update for toolchain nightly-2026-08-21 Rust Tests #3111: Pull request #687 synchronize by feliperodri
5m 31s sync-2026-08-21
sync-2026-08-21
5m 31s
Fix safety attribute import cfg for non-x86_64 targets Rust Tests #3110: Commit 5fcfdd4 pushed by feliperodri
4m 13s sync-2026-08-21
sync-2026-08-21
4m 13s
Merge subtree update for toolchain nightly-2026-08-21 Rust Tests #3109: Pull request #687 synchronize by feliperodri
4m 35s sync-2026-08-21
sync-2026-08-21
4m 35s
Fix Flux specs for nightly-2026-08-21 core Rust Tests #3108: Commit ee5a634 pushed by feliperodri
4m 29s sync-2026-08-21
sync-2026-08-21
4m 29s
Rust Tests Rust Tests #3107: Merge group checks requested
5m 16s
5m 16s