Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
733 workflow runs
733 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
Update Kani Metrics Rust Tests #2628: Pull request #616 synchronize by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Verify safety of StrSearcher (Challenge 21) Rust Tests #2627: Pull request #538 synchronize by jrey8343
4m 8s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
4m 8s
Verify safety of StrSearcher (Challenge 21) Rust Tests #2626: Pull request #538 synchronize by jrey8343
5m 5s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
5m 5s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2625: Pull request #589 synchronize by v3risec
4m 32s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 32s
Remove end dates from challenges Rust Tests #2624: Pull request #629 synchronize by feliperodri
11m 5s feliperodri:remove-challenge-end-dates
feliperodri:remove-challenge-end-dates
11m 5s
Use byte-wise memchr under Kani to cut symbolic execution cost Rust Tests #2623: Pull request #628 opened by tautschnig
3m 25s tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
3m 25s
Do not dereference in slice_from_raw_parts postcondition Rust Tests #2622: Pull request #627 opened by tautschnig
4m 56s tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
4m 56s
Use addr_eq in NonNull contracts to support wide pointers Rust Tests #2621: Pull request #626 synchronize by tautschnig
3m 39s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
3m 39s
Use addr_eq in NonNull contracts to support wide pointers Rust Tests #2620: Pull request #626 opened by tautschnig
4m 56s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
4m 56s
Allow zero-sized offsets on dangling pointers in ptr contracts Rust Tests #2619: Pull request #625 opened by tautschnig
5m 19s tautschnig:fix-zero-offset-contracts
tautschnig:fix-zero-offset-contracts
5m 19s
Replace byte-inspection NonZero contracts with niche test and raw_eq Rust Tests #2618: Pull request #624 opened by tautschnig
5m 10s tautschnig:fix-nonzero-contract-cost
tautschnig:fix-nonzero-contract-cost
5m 10s
Respect new_unchecked precondition in IndexRange proof harnesses Rust Tests #2617: Pull request #623 opened by tautschnig
4m 48s tautschnig:fix-index-range-harnesses
tautschnig:fix-index-range-harnesses
4m 48s
Fix mod_inv precondition: any x is invertible modulo 1 Rust Tests #2616: Pull request #622 opened by tautschnig
5m 43s tautschnig:fix-mod-inv-precondition
tautschnig:fix-mod-inv-precondition
5m 43s
Challenge 21: Verify safety of StrSearcher with Kani Rust Tests #2615: Pull request #621 opened by v3risec
4m 28s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
4m 28s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2614: Pull request #620 synchronize by v3risec
4m 50s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
4m 50s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2613: Pull request #620 synchronize by v3risec
5m 15s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
5m 15s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2612: Pull request #620 opened by v3risec
4m 2s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
4m 2s
Update Kani Metrics Rust Tests #2611: Pull request #616 synchronize by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Rust Tests #2610: Pull request #618 synchronize by ivmat
26m 26s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
26m 26s
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Rust Tests #2609: Pull request #618 opened by ivmat
4m 48s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
4m 48s
Add RAPx tool description and CI workflow Rust Tests #2608: Pull request #491 synchronize by hxuhack
5m 18s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
5m 18s
Update Kani Metrics Rust Tests #2607: Pull request #616 opened by github-actions Bot
5m 54s update-kani-metrics
update-kani-metrics
5m 54s
Add RAPx tool description and CI workflow Rust Tests #2606: Pull request #491 synchronize by DiuDiu777
4m 8s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
4m 8s
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2605: Pull request #613 synchronize by tautschnig
4m 57s sync-2026-02-05
sync-2026-02-05
4m 57s
Reduce check_from_bytes_with_nul bound to fit macos CI runners Rust Tests #2604: Commit 87de2fa pushed by tautschnig
5m 51s sync-2026-02-05
sync-2026-02-05
5m 51s