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,130 workflow runs
1,130 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 branch 'main' into sync-2025-05-06 Rust Tests #1745: Commit 82f4412 pushed by tautschnig
7m 10s sync-2025-05-06
sync-2025-05-06
7m 10s
Merge subtree update for toolchain nightly-2025-05-06 Rust Tests #1744: Pull request #354 synchronize by carolynzech
7m 19s sync-2025-05-06
sync-2025-05-06
7m 19s
update stdarch Rust Tests #1743: Commit cff05e2 pushed by carolynzech
6m 38s sync-2025-05-06
sync-2025-05-06
6m 38s
Add missing proof_for_contract to mut_ptr::offset_from harness Rust Tests #1742: Pull request #358 opened by carolynzech
7m 13s carolynzech:missing-proof-attr
carolynzech:missing-proof-attr
7m 13s
Move autoharness_analyzer to scripts/ Rust Tests #1741: Pull request #350 synchronize by carolynzech
8m 37s carolynzech:autoharness-analyzer-script
carolynzech:autoharness-analyzer-script
8m 37s
Add kmir tool description and CI workflow Rust Tests #1740: Pull request #310 synchronize by jberthold
8m 14s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
8m 14s
Fix num::nonzero::NonZero::<*>::rotate_{left,right} contracts (#346) Rust Tests #1739: Commit a5f6908 pushed by github-merge-queue Bot
7m 54s main
main
7m 54s
Fix num::nonzero::NonZero::<*>::rotate_{left,right} contracts (#346) Rust Tests #1738: Commit a5f6908 pushed by github-merge-queue Bot
9m 8s gh-readonly-queue/main/pr-346-5112f8173e1300b8821aca649942b7142929fe65
gh-readonly-queue/main/pr-346-5112f8173e1300b8821aca649942b7142929fe65
9m 8s
Rust Tests Rust Tests #1737: Merge group checks requested
9m 19s
9m 19s
Challenge 7: make panicking part optional; remove mention of verifying intrinsics Rust Tests #1736: Pull request #357 opened by carolynzech
8m 36s carolynzech:atomic-challenge-panic
carolynzech:atomic-challenge-panic
8m 36s
Move autoharness_analyzer to scripts/ Rust Tests #1735: Pull request #350 synchronize by carolynzech
8m 3s carolynzech:autoharness-analyzer-script
carolynzech:autoharness-analyzer-script
8m 3s
additional transmute and transmute_unchecked harnesses Rust Tests #1734: Pull request #264 synchronize by AlexLB99
7m 24s AlexLB99:transmute
AlexLB99:transmute
7m 24s
Merge subtree update for toolchain nightly-2025-05-06 Rust Tests #1733: Pull request #354 synchronize by tautschnig
7m 10s sync-2025-05-06
sync-2025-05-06
7m 10s
Resolve conflicts Rust Tests #1732: Commit d8deefa pushed by tautschnig
7m 16s sync-2025-05-06
sync-2025-05-06
7m 16s
Rust Tests Rust Tests #1731: Merge group checks requested
7m 18s
7m 18s
Update Kani Metrics Rust Tests #1730: Pull request #355 reopened by tautschnig
7m 45s update-kani-metrics
update-kani-metrics
7m 45s
Fix typo in comment ('contact' -> 'contract') (#352) Rust Tests #1729: Commit e0e6e83 pushed by github-merge-queue Bot
8m 18s main
main
8m 18s
Fix typo in comment ('contact' -> 'contract') (#352) Rust Tests #1728: Commit e0e6e83 pushed by github-merge-queue Bot
7m 32s gh-readonly-queue/main/pr-352-00f2f8d48c2ff877a040c9fe70bcc71ffb2621f2
gh-readonly-queue/main/pr-352-00f2f8d48c2ff877a040c9fe70bcc71ffb2621f2
7m 32s
Rust Tests Rust Tests #1727: Merge group checks requested
7m 49s
7m 49s
Fix typo in comment ('contact' -> 'contract') Rust Tests #1726: Pull request #352 opened by patricklam
7m 41s patricklam:patch-2
patricklam:patch-2
7m 41s
Add kmir tool description and CI workflow Rust Tests #1725: Pull request #310 synchronize by jberthold
7m 21s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
7m 21s
Add kmir tool description and CI workflow Rust Tests #1724: Pull request #310 synchronize by jberthold
8m 3s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
8m 3s
Rust Tests Rust Tests #1723: Merge group checks requested
9m 36s
9m 36s
Move autoharness_analyzer to scripts/ Rust Tests #1722: Pull request #350 synchronize by carolynzech
7m 51s carolynzech:autoharness-analyzer-script
carolynzech:autoharness-analyzer-script
7m 51s
Only require two approvals for changes to doc/, library/ or verifast-proofs/ Rust Tests #1721: Pull request #351 synchronize by carolynzech
9m 3s carolynzech:approval-workflow
carolynzech:approval-workflow
9m 3s
ProTip! You can narrow down the results and go further in time using created:<2025-05-08 or the other filters available.