Skip to content

Actions: model-checking/verify-rust-std

Actions

RAPx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rapx.yml
487 workflow runs
487 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 29: Kani contracts for Box, convert, and ThinBox RAPx #489: Pull request #639 synchronize by sankalpsthakur
2m 51s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
2m 51s
New challenge: Verify the safety of BinaryHeap functions RAPx #488: Pull request #747 synchronize by Kieran-Hulsman
27m 57s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
27m 57s
Challenge 2: memory safety of raw-pointer intrinsics RAPx #487: Pull request #649 synchronize by stefanzetzsche
3m 31s stefanzetzsche:intrinsics-challenge-2
stefanzetzsche:intrinsics-challenge-2
3m 31s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern RAPx #486: Pull request #740 synchronize by hung1962003
2m 29s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
2m 29s
New challenge: Verify the safety of BinaryHeap functions RAPx #485: Pull request #747 opened by Kieran-Hulsman
8m 23s Kieran-Hulsman:kieran/binary-heap-challenge
Kieran-Hulsman:kieran/binary-heap-challenge
8m 23s
Merge subtree update for toolchain nightly-2026-10-23 RAPx #484: Pull request #745 opened by github-actions Bot
3m 20s sync-2026-10-23
sync-2026-10-23
3m 20s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani RAPx #483: Pull request #683 synchronize by v3risec
2m 21s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
2m 21s
Challenge 18: Verify Slice Iter safety with Kani RAPx #482: Pull request #744 synchronize by v3risec
2m 39s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
2m 39s
Challenge 18: Verify Slice Iter safety with Kani RAPx #481: Pull request #744 opened by v3risec
2m 19s v3risec:challenge-18-slice-iter
v3risec:challenge-18-slice-iter
2m 19s
Challenge 21: Verify safety of StrSearcher with Kani RAPx #480: Pull request #621 synchronize by v3risec
2m 29s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
2m 29s
Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani RAPx #479: Pull request #683 synchronize by v3risec
2m 22s v3risec:challenge-7-atomic
v3risec:challenge-7-atomic
2m 22s
Challenge 29: Kani contracts for Box, convert, and ThinBox RAPx #478: Pull request #639 synchronize by sankalpsthakur
1m 59s sankalpsthakur:challenge/29-boxed
sankalpsthakur:challenge/29-boxed
1m 59s
New challenge: Safety and correctness of integer logarithms RAPx #477: Pull request #729 synchronize by Kieran-Hulsman
1m 50s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
1m 50s
Merge subtree update for toolchain nightly-2026-10-22 (#737) RAPx #476: Commit 233f96f pushed by github-merge-queue Bot
2m 27s main
main
2m 27s
New challenge: Safety and correctness of integer logarithms RAPx #475: Pull request #729 synchronize by feliperodri
1m 46s Kieran-Hulsman:kieran/ilog-challenge-proposal
Kieran-Hulsman:kieran/ilog-challenge-proposal
1m 46s
Run autoharness jobs only in the merge queue (#738) RAPx #474: Commit 7141021 pushed by github-merge-queue Bot
2m 28s main
main
2m 28s
Run autoharness jobs only in the merge queue RAPx #473: Pull request #738 synchronize by feliperodri
2m 0s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
2m 0s
Challenge 23: verify Vec mod.rs function safety with Kani RAPx #472: Pull request #692 synchronize by kasimte
2m 23s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
2m 23s
Challenge 20: Verify char-class Searcher safety in str::pattern with Kani RAPx #471: Pull request #722 synchronize by kasimte
2m 1s kasimte:20-build-s2
kasimte:20-build-s2
2m 1s
Run autoharness jobs only in the merge queue RAPx #470: Pull request #738 synchronize by feliperodri
2m 21s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
2m 21s
Run autoharness jobs only in the merge queue RAPx #469: Pull request #738 synchronize by feliperodri
2m 22s Tianshu-Huang:ci-autoharness-merge-queue
Tianshu-Huang:ci-autoharness-merge-queue
2m 22s
Challenge 17: Verify the safety of core::slice functions with VeriFast RAPx #468: Pull request #742 synchronize by paulocsanz
1h 18m 56s paulocsanz:challenge17-verifast-slice
paulocsanz:challenge17-verifast-slice
1h 18m 56s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern RAPx #467: Pull request #740 synchronize by hung1962003
2h 42m 52s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
2h 42m 52s
Challenge 20: Unbounded proofs for the char Searchers of str::pattern RAPx #466: Pull request #740 synchronize by hung1962003
1h 6m 8s hung1962003:challenge-20-char-searchers
hung1962003:challenge-20-char-searchers
1h 6m 8s
Challenge 17: Verify the safety of core::slice functions with VeriFast RAPx #465: Pull request #742 synchronize by paulocsanz
23m 27s paulocsanz:challenge17-verifast-slice
paulocsanz:challenge17-verifast-slice
23m 27s