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
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1645: Pull request #338 synchronize by tautschnig
4m 34s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
4m 34s
Merge subtree update for toolchain nightly-2025-04-23 (#340) Rust Tests #1644: Commit 75bf5ce pushed by github-merge-queue Bot
8m 7s main
main
8m 7s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1643: Pull request #338 synchronize by tautschnig
4m 36s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
4m 36s
Add autoharness to run-kani script and use in CI Rust Tests #1642: Pull request #334 synchronize by tautschnig
6m 16s tautschnig:autoharness-support
tautschnig:autoharness-support
6m 16s
Add autoharness to run-kani script and use in CI Rust Tests #1641: Pull request #334 synchronize by tautschnig
4m 25s tautschnig:autoharness-support
tautschnig:autoharness-support
4m 25s
Merge subtree update for toolchain nightly-2025-04-23 (#340) Rust Tests #1640: Commit 75bf5ce pushed by github-merge-queue Bot
7m 18s gh-readonly-queue/main/pr-340-5cf80a84afdeceec0d85e790a5cc585ff2e513ed
gh-readonly-queue/main/pr-340-5cf80a84afdeceec0d85e790a5cc585ff2e513ed
7m 18s
Rust Tests Rust Tests #1639: Merge group checks requested
7m 23s
7m 23s
Merge subtree update for toolchain nightly-2025-04-23 Rust Tests #1638: Pull request #340 reopened by carolynzech
7m 21s sync-2025-04-23
sync-2025-04-23
7m 21s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1637: Pull request #338 synchronize by tautschnig
4m 45s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
4m 45s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1636: Pull request #338 synchronize by tautschnig
4m 50s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
4m 50s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1635: Pull request #338 synchronize by tautschnig
4m 57s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
4m 57s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1634: Pull request #338 synchronize by tautschnig
3m 26s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
3m 26s
Add autoharness to run-kani script and use in CI Rust Tests #1633: Pull request #334 synchronize by tautschnig
7m 19s tautschnig:autoharness-support
tautschnig:autoharness-support
7m 19s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1632: Pull request #338 opened by tautschnig
4m 40s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
4m 40s
Add loop_invariants for some Int power functions Rust Tests #1631: Pull request #327 synchronize by tautschnig
6m 24s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
6m 24s
Add autoharness to run-kani script and use in CI Rust Tests #1630: Pull request #334 synchronize by tautschnig
7m 52s tautschnig:autoharness-support
tautschnig:autoharness-support
7m 52s
Add autoharness to run-kani script and use in CI Rust Tests #1629: Pull request #334 synchronize by tautschnig
6m 54s tautschnig:autoharness-support
tautschnig:autoharness-support
6m 54s
Merge subtree update for toolchain nightly-2025-04-21 (#336) Rust Tests #1628: Commit 5cf80a8 pushed by github-merge-queue Bot
7m 8s main
main
7m 8s
Merge subtree update for toolchain nightly-2025-04-21 (#336) Rust Tests #1627: Commit 5cf80a8 pushed by github-merge-queue Bot
7m 50s gh-readonly-queue/main/pr-336-64af8ce261875c1e53c4965034686d0c47e74be5
gh-readonly-queue/main/pr-336-64af8ce261875c1e53c4965034686d0c47e74be5
7m 50s
Rust Tests Rust Tests #1626: Merge group checks requested
7m 26s
7m 26s
Merge subtree update for toolchain nightly-2025-04-21 Rust Tests #1625: Pull request #336 synchronize by tautschnig
7m 25s sync-2025-04-21
sync-2025-04-21
7m 25s
Merge subtree update for toolchain nightly-2025-04-21 Rust Tests #1624: Pull request #336 reopened by tautschnig
6m 56s sync-2025-04-21
sync-2025-04-21
6m 56s
Merge subtree update for toolchain nightly-2025-04-21 Rust Tests #1623: Pull request #336 synchronize by tautschnig
7m 13s sync-2025-04-21
sync-2025-04-21
7m 13s
Resolve conflicts Rust Tests #1622: Commit f3fc83f pushed by tautschnig
7m 35s sync-2025-04-21
sync-2025-04-21
7m 35s
Fix Challenge 18 rendering in book Rust Tests #1621: Pull request #337 opened by carolynzech
7m 3s carolynzech:challenge-18-book
carolynzech:challenge-18-book
7m 3s
ProTip! You can narrow down the results and go further in time using created:<2025-04-22 or the other filters available.