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,126 workflow runs
1,126 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
Add Challenges 20 21 22 for str Pattern and iter Rust Tests #1489: Pull request #266 synchronize by thanhnguyen-aws
8m 40s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
8m 40s
Add Challenges 17 18 for slices Rust Tests #1488: Pull request #265 synchronize by thanhnguyen-aws
6m 19s thanhnguyen-aws:slicechallenges
thanhnguyen-aws:slicechallenges
6m 19s
Add Challenges 17 18 for slices Rust Tests #1487: Pull request #265 synchronize by thanhnguyen-aws
6m 54s thanhnguyen-aws:slicechallenges
thanhnguyen-aws:slicechallenges
6m 54s
Rust Tests Rust Tests #1486: Merge group checks requested
7m 22s
7m 22s
Update Kani Metrics Rust Tests #1485: Pull request #295 reopened by carolynzech
6m 44s update-kani-metrics
update-kani-metrics
6m 44s
Add Challenge 16: Iterator Rust Tests #1484: Pull request #260 synchronize by carolynzech
6m 55s thanhnguyen-aws:morechallenges
thanhnguyen-aws:morechallenges
6m 55s
Rust Tests Rust Tests #1483: Merge group checks requested
6m 25s
6m 25s
Fix link rendering in 0014-convert-num.md Rust Tests #1482: Pull request #293 synchronize by tautschnig
6m 57s JasonGross:patch-1
JasonGross:patch-1
6m 57s
Close Challenges 6 & 14; remove optional correctness work in Challeng… Rust Tests #1481: Commit 00169b7 pushed by github-merge-queue Bot
7m 5s main
main
7m 5s
Rust Tests Rust Tests #1480: Merge group checks requested
6m 21s
6m 21s
Merge subtree update for toolchain nightly-2025-03-17 (#290) Rust Tests #1479: Commit ebae8ab pushed by github-merge-queue Bot
6m 29s main
main
6m 29s
Close Challenges 6 & 14; remove optional correctness work in Challeng… Rust Tests #1478: Commit 00169b7 pushed by github-merge-queue Bot
6m 25s gh-readonly-queue/main/pr-247-ebae8ab1afbec0076db672c885960cf09d9aa98d
gh-readonly-queue/main/pr-247-ebae8ab1afbec0076db672c885960cf09d9aa98d
6m 25s
Rust Tests Rust Tests #1477: Merge group checks requested
7m 43s
7m 43s
Merge subtree update for toolchain nightly-2025-03-17 (#290) Rust Tests #1476: Commit ebae8ab pushed by github-merge-queue Bot
6m 30s gh-readonly-queue/main/pr-290-9aa99c3f811eeb7f66d5196d3c0262db49f8a945
gh-readonly-queue/main/pr-290-9aa99c3f811eeb7f66d5196d3c0262db49f8a945
6m 30s
Rust Tests Rust Tests #1475: Merge group checks requested
7m 20s
7m 20s
Fix link rendering in 0015-intrinsics-simd.md Rust Tests #1474: Pull request #294 opened by JasonGross
6m 47s JasonGross:patch-2
JasonGross:patch-2
6m 47s
Fix link rendering in 0014-convert-num.md Rust Tests #1473: Pull request #293 opened by JasonGross
7m 17s JasonGross:patch-1
JasonGross:patch-1
7m 17s
Merge subtree update for toolchain nightly-2025-03-17 Rust Tests #1472: Pull request #290 synchronize by tautschnig
7m 8s sync-2025-03-17
sync-2025-03-17
7m 8s
fmt Rust Tests #1471: Commit 7186e4f pushed by tautschnig
7m 24s sync-2025-03-17
sync-2025-03-17
7m 24s
Merge subtree update for toolchain nightly-2025-03-17 Rust Tests #1470: Pull request #290 synchronize by tautschnig
4m 12s sync-2025-03-17
sync-2025-03-17
4m 12s
Fix-up merge Rust Tests #1469: Commit 32ed243 pushed by tautschnig
4m 37s sync-2025-03-17
sync-2025-03-17
4m 37s
Add Challenges 17 18 for slices Rust Tests #1468: Pull request #265 synchronize by thanhnguyen-aws
6m 58s thanhnguyen-aws:slicechallenges
thanhnguyen-aws:slicechallenges
6m 58s
Merge subtree update for toolchain nightly-2025-03-17 Rust Tests #1467: Pull request #290 synchronize by tautschnig
4m 28s sync-2025-03-17
sync-2025-03-17
4m 28s
Further mis-merge fixes after comparing against new automation results Rust Tests #1466: Commit 8c454e3 pushed by tautschnig
4m 35s sync-2025-03-17
sync-2025-03-17
4m 35s
Subtree update automation: do not use git subtree merge --squash Rust Tests #1465: Pull request #292 opened by tautschnig
7m 21s tautschnig:automation-fixes
tautschnig:automation-fixes
7m 21s
ProTip! You can narrow down the results and go further in time using created:<2025-03-21 or the other filters available.