Skip to content

Actions: model-checking/verify-rust-std

Actions

RAPx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rapx.yml
315 workflow runs
315 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
Merge subtree update for toolchain nightly-2026-09-25 RAPx #315: Pull request #687 synchronize by feliperodri
2m 5s sync-2026-08-21
sync-2026-08-21
2m 5s
Merge subtree update for toolchain nightly-2026-09-25 RAPx #314: Pull request #687 synchronize by feliperodri
2m 11s sync-2026-08-21
sync-2026-08-21
2m 11s
Merge subtree update for toolchain nightly-2026-09-25 RAPx #313: Pull request #687 synchronize by feliperodri
1m 45s sync-2026-08-21
sync-2026-08-21
1m 45s
Check contracts with ESBMC's native CBMC goto reader (#710) RAPx #312: Commit dd2bbad pushed by github-merge-queue Bot
2m 24s main
main
2m 24s
Merge subtree update for toolchain nightly-2026-09-25 RAPx #311: Pull request #687 synchronize by feliperodri
2m 1s sync-2026-08-21
sync-2026-08-21
2m 1s
Update Kani Metrics (#711) RAPx #310: Commit 561e1cb pushed by github-merge-queue Bot
2m 24s main
main
2m 24s
Update Kani Metrics RAPx #309: Pull request #711 opened by github-actions Bot
2m 27s update-kani-metrics
update-kani-metrics
2m 27s
Challenge 22: Verify the safety of str iter functions RAPx #308: Pull request #706 synchronize by kasimte
2m 39s kasimte:merlin
kasimte:merlin
2m 39s
Check contracts with ESBMC's native CBMC goto reader RAPx #307: Pull request #710 opened by lucasccordeiro
2m 25s lucasccordeiro:fix/708-esbmc-native-reader
lucasccordeiro:fix/708-esbmc-native-reader
2m 25s
Merge subtree update for toolchain nightly-2026-09-25 RAPx #306: Pull request #687 synchronize by feliperodri
1m 48s sync-2026-08-21
sync-2026-08-21
1m 48s
Merge subtree update for toolchain nightly-2026-09-25 RAPx #305: Pull request #687 synchronize by feliperodri
2m 10s sync-2026-08-21
sync-2026-08-21
2m 10s
Merge subtree update for toolchain nightly-2026-09-25 RAPx #304: Pull request #687 synchronize by feliperodri
2m 29s sync-2026-08-21
sync-2026-08-21
2m 29s
Merge subtree update for toolchain nightly-2026-09-25 RAPx #303: Pull request #687 synchronize by feliperodri
2m 20s sync-2026-08-21
sync-2026-08-21
2m 20s
Challenge 23: verify Vec mod.rs function safety with Kani RAPx #302: Pull request #692 synchronize by kasimte
1m 56s kasimte:challenge-23-vec-part1
kasimte:challenge-23-vec-part1
1m 56s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani RAPx #301: Pull request #689 synchronize by kasimte
6m 7s kasimte:24-build
kasimte:24-build
6m 7s
Challenge 26: Verify the safety of Rc and Weak in alloc::rc RAPx #300: Pull request #661 synchronize by kasimte
2m 29s kasimte:challenge-26
kasimte:challenge-26
2m 29s
Challenge 10: Verify memory safety of String functions with Kani RAPx #299: Pull request #702 synchronize by Talha-Dmr
2m 9s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
2m 9s
Challenge 22: Verify the safety of str iter functions RAPx #298: Pull request #706 opened by kasimte
23m 20s kasimte:merlin
kasimte:merlin
23m 20s
Verify safety of slice functions (Challenge 17) RAPx #297: Pull request #703 synchronize by kasimte
18m 44s kasimte:ch17-slice
kasimte:ch17-slice
18m 44s
Challenge 10: Verify memory safety of String functions with Kani RAPx #296: Pull request #702 synchronize by Talha-Dmr
1h 2m 11s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
1h 2m 11s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods RAPx #295: Pull request #670 synchronize by kasimte
2m 33s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
2m 33s
Add CI-generated autoharness dashboard RAPx #294: Pull request #700 synchronize by wodex1nhaoIeng
2m 45s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
2m 45s
Add CI-generated autoharness dashboard RAPx #293: Pull request #700 synchronize by wodex1nhaoIeng
2m 54s wodex1nhaoIeng:dashboard-ci
wodex1nhaoIeng:dashboard-ci
2m 54s
Verify safety of slice functions (Challenge 17) RAPx #292: Pull request #703 opened by kasimte
8m 36s kasimte:ch17-slice
kasimte:ch17-slice
8m 36s
Challenge 10: Verify memory safety of String functions with Kani RAPx #291: Pull request #702 synchronize by Talha-Dmr
26m 12s Talha-Dmr:challenge-10-string
Talha-Dmr:challenge-10-string
26m 12s