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,122 workflow runs
1,122 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
Rust Tests Rust Tests #1821: Merge group checks requested
9m 52s
9m 52s
Derive Arbitrary for various core_arch::x86 types Rust Tests #1820: Pull request #348 synchronize by tautschnig
8m 31s tautschnig:core_arch_x86-arbitrary
tautschnig:core_arch_x86-arbitrary
8m 31s
Rust Tests Rust Tests #1819: Merge group checks requested
9m 22s
9m 22s
Merge subtree update for toolchain nightly-2025-05-28 Rust Tests #1818: Pull request #370 synchronize by tautschnig
7m 0s sync-2025-05-28
sync-2025-05-28
7m 0s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1817: Pull request #338 synchronize by tautschnig
8m 7s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
8m 7s
additional transmute and transmute_unchecked harnesses (#264) Rust Tests #1816: Commit c120797 pushed by github-merge-queue Bot
7m 53s gh-readonly-queue/main/pr-264-b4f59e8393dbded95eb5fdc6810c6d1252cd8eb7
gh-readonly-queue/main/pr-264-b4f59e8393dbded95eb5fdc6810c6d1252cd8eb7
7m 53s
Rust Tests Rust Tests #1815: Merge group checks requested
7m 53s
7m 53s
Use uname -m instead of uname -p Rust Tests #1814: Pull request #372 synchronize by patricklam
8m 26s patricklam:patch-3
patricklam:patch-3
8m 26s
additional transmute and transmute_unchecked harnesses Rust Tests #1813: Pull request #264 synchronize by tautschnig
8m 16s AlexLB99:transmute
AlexLB99:transmute
8m 16s
update-subtree action: patch VeriFast proofs Rust Tests #1812: Pull request #371 synchronize by btj
8m 11s btj:update-subtree-patch-verifast-proofs
btj:update-subtree-patch-verifast-proofs
8m 11s
Merge subtree update for toolchain nightly-2025-05-28 Rust Tests #1811: Pull request #370 synchronize by tautschnig
8m 8s sync-2025-05-28
sync-2025-05-28
8m 8s
Resolve conflicts Rust Tests #1810: Commit da4bb85 pushed by tautschnig
7m 18s sync-2025-05-28
sync-2025-05-28
7m 18s
Use uname -m instead of uname -p Rust Tests #1809: Pull request #372 opened by patricklam
7m 17s patricklam:patch-3
patricklam:patch-3
7m 17s
update-subtree action: patch VeriFast proofs Rust Tests #1808: Pull request #371 opened by btj
7m 40s btj:update-subtree-patch-verifast-proofs
btj:update-subtree-patch-verifast-proofs
7m 40s
Merge subtree update for toolchain nightly-2025-05-28 Rust Tests #1807: Pull request #370 reopened by carolynzech
4m 22s sync-2025-05-28
sync-2025-05-28
4m 22s
Merge subtree update for toolchain nightly-2025-05-22 (#364) Rust Tests #1806: Commit b4f59e8 pushed by github-merge-queue Bot
7m 24s main
main
7m 24s
Rust Tests Rust Tests #1805: Merge group checks requested
7m 8s
7m 8s
Merge subtree update for toolchain nightly-2025-05-22 (#364) Rust Tests #1804: Commit b4f59e8 pushed by github-merge-queue Bot
9m 31s gh-readonly-queue/main/pr-364-afb5c2c7290871c4ca3dbc69a9d169a297ce16c4
gh-readonly-queue/main/pr-364-afb5c2c7290871c4ca3dbc69a9d169a297ce16c4
9m 31s
add unsafe-finder tool Rust Tests #1803: Pull request #369 opened by patricklam
8m 19s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
8m 19s
make_ascii_uppercase/lowercase harnesses Rust Tests #1802: Pull request #368 opened by AlexLB99
14m 4s AlexLB99:ascii_case
AlexLB99:ascii_case
14m 4s
New challenges for Rc, Arc, and related Weak implementations Rust Tests #1801: Pull request #367 synchronize by patricklam
10m 48s AlexLB99:new_challenge
AlexLB99:new_challenge
10m 48s
New challenges for Rc, Arc, and related Weak implementations Rust Tests #1800: Pull request #367 opened by AlexLB99
7m 4s AlexLB99:new_challenge
AlexLB99:new_challenge
7m 4s
Merge subtree update for toolchain nightly-2025-05-22 Rust Tests #1799: Pull request #364 synchronize by tautschnig
6m 48s sync-2025-05-22
sync-2025-05-22
6m 48s
fmt Rust Tests #1798: Commit 78c1c7a pushed by tautschnig
6m 29s sync-2025-05-22
sync-2025-05-22
6m 29s
Merge subtree update for toolchain nightly-2025-05-22 Rust Tests #1797: Pull request #364 synchronize by tautschnig
4m 30s sync-2025-05-22
sync-2025-05-22
4m 30s
ProTip! You can narrow down the results and go further in time using created:<2025-05-26 or the other filters available.