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 subtree update for toolchain nightly-2025-05-22 Rust Tests #1795: Pull request #364 synchronize by tautschnig
4m 17s sync-2025-05-22
sync-2025-05-22
4m 17s
crate::ub_checks Rust Tests #1794: Commit ae8372a pushed by tautschnig
4m 10s sync-2025-05-22
sync-2025-05-22
4m 10s
Merge subtree update for toolchain nightly-2025-05-22 Rust Tests #1793: Pull request #364 synchronize by tautschnig
8m 13s sync-2025-05-22
sync-2025-05-22
8m 13s
Resolve conflicts Rust Tests #1792: Commit bd7e233 pushed by tautschnig
8m 42s sync-2025-05-22
sync-2025-05-22
8m 42s
Rust Tests Rust Tests #1791: Merge group checks requested
7m 24s
7m 24s
Update Kani Metrics Rust Tests #1790: Pull request #365 reopened by tautschnig
8m 29s update-kani-metrics
update-kani-metrics
8m 29s
Add preconditions for disjoint_bitor (#347) Rust Tests #1789: Commit 13014d9 pushed by github-merge-queue Bot
7m 20s main
main
7m 20s
Add preconditions for disjoint_bitor (#347) Rust Tests #1788: Commit 13014d9 pushed by github-merge-queue Bot
7m 30s gh-readonly-queue/main/pr-347-9414feed3907e16d2aa53e4939ce0523c73509a0
gh-readonly-queue/main/pr-347-9414feed3907e16d2aa53e4939ce0523c73509a0
7m 30s
Rust Tests Rust Tests #1787: Merge group checks requested
7m 11s
7m 11s
Merge subtree update for toolchain nightly-2025-05-20 (#361) Rust Tests #1786: Commit 1eb9a53 pushed by github-merge-queue Bot
9m 4s main
main
9m 4s
Rust Tests Rust Tests #1785: Merge group checks requested
7m 5s
7m 5s
Add preconditions for disjoint_bitor Rust Tests #1784: Pull request #347 synchronize by carolynzech
7m 16s tautschnig:contracts-uint_macros
tautschnig:contracts-uint_macros
7m 16s
Rust Tests Rust Tests #1783: Merge group checks requested
8m 36s
8m 36s
Merge subtree update for toolchain nightly-2025-05-20 (#361) Rust Tests #1782: Commit 1eb9a53 pushed by github-merge-queue Bot
7m 56s gh-readonly-queue/main/pr-361-9b575736454eb199ba5357c47f92ac3d7b1a6640
gh-readonly-queue/main/pr-361-9b575736454eb199ba5357c47f92ac3d7b1a6640
7m 56s
Move autoharness_analyzer to scripts/ Rust Tests #1781: Pull request #350 synchronize by carolynzech
7m 36s carolynzech:autoharness-analyzer-script
carolynzech:autoharness-analyzer-script
7m 36s
Rust Tests Rust Tests #1780: Merge group checks requested
8m 9s
8m 9s
Add safety preconditions to std/src/alloc.rs (#330) Rust Tests #1779: Commit 07b7465 pushed by github-merge-queue Bot
7m 20s main
main
7m 20s
Merge subtree update for toolchain nightly-2025-05-20 Rust Tests #1778: Pull request #361 synchronize by tautschnig
7m 24s sync-2025-05-20
sync-2025-05-20
7m 24s
Merge subtree update for toolchain nightly-2025-05-20 Rust Tests #1777: Pull request #361 synchronize by tautschnig
7m 3s sync-2025-05-20
sync-2025-05-20
7m 3s
Fix conflicts Rust Tests #1776: Commit 417f216 pushed by tautschnig
8m 52s sync-2025-05-20
sync-2025-05-20
8m 52s
Add safety preconditions to std/src/alloc.rs (#330) Rust Tests #1775: Commit 07b7465 pushed by github-merge-queue Bot
7m 14s gh-readonly-queue/main/pr-330-d37c183b503b4e0ae6afd2373cd743a24314b8d9
gh-readonly-queue/main/pr-330-d37c183b503b4e0ae6afd2373cd743a24314b8d9
7m 14s
Rust Tests Rust Tests #1774: Merge group checks requested
7m 1s
7m 1s
Rust Tests Rust Tests #1773: Merge group checks requested
7m 24s
7m 24s
Rust Tests Rust Tests #1772: Merge group checks requested
7m 19s
7m 19s
Add Challenge 25: VecDeque Rust Tests #1771: Pull request #269 synchronize by tautschnig
8m 23s thanhnguyen-aws:vecdequechallenge
thanhnguyen-aws:vecdequechallenge
8m 23s
ProTip! You can narrow down the results and go further in time using created:<2025-05-21 or the other filters available.