Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
740 workflow runs
740 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 #2607: Pull request #616 opened by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
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
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2603: Pull request #613 synchronize by tautschnig
5m 58s sync-2026-02-05
sync-2026-02-05
5m 58s
Update to latest flux (#614) Rust Tests #2602: Commit c4ef731 pushed by tautschnig
6m 8s sync-2026-02-05
sync-2026-02-05
6m 8s
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2601: Pull request #613 synchronize by tautschnig
4m 29s sync-2026-02-05
sync-2026-02-05
4m 29s
Cap harness parallelism on ubuntu partition runners Rust Tests #2600: Commit 79342b9 pushed by tautschnig
5m 11s sync-2026-02-05
sync-2026-02-05
5m 11s
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2599: Pull request #613 synchronize by tautschnig
5m 5s sync-2026-02-05
sync-2026-02-05
5m 5s
Bump Flux to 67d714e90ce7 (nightly-2026-02-05) Rust Tests #2598: Commit ad15b11 pushed by tautschnig
5m 43s sync-2026-02-05
sync-2026-02-05
5m 43s
Add kmir tool description and CI workflow Rust Tests #2597: Pull request #310 synchronize by dkcumming
5m 1s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
5m 1s
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2596: Pull request #613 synchronize by tautschnig
1h 49m 1s sync-2026-02-05
sync-2026-02-05
1h 49m 1s
Break contract recursion between Alignment::as_nonzero and as_usize Rust Tests #2595: Commit a855779 pushed by tautschnig
1h 49m 37s sync-2026-02-05
sync-2026-02-05
1h 49m 37s
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2594: Pull request #613 synchronize by tautschnig
3m 41s sync-2026-02-05
sync-2026-02-05
3m 41s
Resolve merge conflicts Rust Tests #2593: Commit 7d86087 pushed by tautschnig
3m 46s sync-2026-02-05
sync-2026-02-05
3m 46s
Merge subtree update for toolchain nightly-2026-02-05 Rust Tests #2592: Pull request #613 opened by github-actions Bot
3m 49s sync-2026-02-05
sync-2026-02-05
3m 49s
Bump serde_with from 3.14.0 to 3.21.0 in /library/stdarch Rust Tests #2591: Pull request #611 opened by dependabot Bot
4m 4s dependabot/cargo/library/stdarch/serde_with-3.21.0
dependabot/cargo/library/stdarch/serde_with-3.21.0
4m 4s
Bump serde_with from 3.14.0 to 3.21.0 in /library/stdarch Rust Tests #2590: Commit ca0d40e pushed by dependabot Bot
4m 11s dependabot/cargo/library/stdarch/serde_with-3.21.0
dependabot/cargo/library/stdarch/serde_with-3.21.0
4m 11s
Merge subtree update for toolchain nightly-2025-11-25 (#530) Rust Tests #2589: Commit 6503980 pushed by github-merge-queue Bot
5m 36s main
main
5m 36s
Merge subtree update for toolchain nightly-2025-11-25 (#530) Rust Tests #2588: Commit 6503980 pushed by github-merge-queue Bot
3m 44s gh-readonly-queue/main/pr-530-88ff11c617a5b5237901067a028db3fefd126028
gh-readonly-queue/main/pr-530-88ff11c617a5b5237901067a028db3fefd126028
3m 44s
Rust Tests Rust Tests #2587: Merge group checks requested
3m 43s
3m 43s
Merge subtree update for toolchain nightly-2025-11-25 Rust Tests #2586: Pull request #530 synchronize by tautschnig
4m 12s sync-2025-11-25
sync-2025-11-25
4m 12s
Add contracts for unchecked_{shl,shr}_exact Rust Tests #2585: Commit 1058aea pushed by tautschnig
4m 12s sync-2025-11-25
sync-2025-11-25
4m 12s
Merge subtree update for toolchain nightly-2025-11-25 Rust Tests #2584: Pull request #530 synchronize by tautschnig
4m 23s sync-2025-11-25
sync-2025-11-25
4m 23s
Work around Kani loop-contract regression in decimal_seq proofs Rust Tests #2583: Commit dfbe487 pushed by tautschnig
4m 9s sync-2025-11-25
sync-2025-11-25
4m 9s