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
Update Kani Metrics (#333) Rust Tests #1620: Commit 64af8ce pushed by github-merge-queue Bot
7m 21s main
main
7m 21s
Add autoharness to run-kani script and use in CI Rust Tests #1619: Pull request #334 synchronize by tautschnig
7m 6s tautschnig:autoharness-support
tautschnig:autoharness-support
7m 6s
Rust Tests Rust Tests #1618: Merge group checks requested
6m 34s
6m 34s
Merge subtree update for toolchain nightly-2025-04-07 (#329) Rust Tests #1617: Commit 649567e pushed by github-merge-queue Bot
7m 20s gh-readonly-queue/main/pr-329-3b80a4c5b78c628c9ec07eba97249ff0d9a9b7ac
gh-readonly-queue/main/pr-329-3b80a4c5b78c628c9ec07eba97249ff0d9a9b7ac
7m 20s
Rust Tests Rust Tests #1616: Merge group checks requested
7m 17s
7m 17s
Add autoharness to run-kani script and use in CI Rust Tests #1615: Pull request #334 synchronize by tautschnig
4m 42s tautschnig:autoharness-support
tautschnig:autoharness-support
4m 42s
Add autoharness to run-kani script and use in CI Rust Tests #1614: Pull request #334 opened by tautschnig
6m 0s tautschnig:autoharness-support
tautschnig:autoharness-support
6m 0s
Merge subtree update for toolchain nightly-2025-04-07 Rust Tests #1613: Pull request #329 synchronize by tautschnig
7m 39s sync-2025-04-07
sync-2025-04-07
7m 39s
Disable harness that is timing out Rust Tests #1612: Commit 90a7719 pushed by tautschnig
8m 9s sync-2025-04-07
sync-2025-04-07
8m 9s
Update Kani Metrics Rust Tests #1611: Pull request #333 reopened by tautschnig
8m 25s update-kani-metrics
update-kani-metrics
8m 25s
Add safety preconditions to std/src/alloc.rs Rust Tests #1610: Pull request #330 synchronize by tautschnig
6m 52s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
6m 52s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Rust Tests #1609: Pull request #328 synchronize by carolynzech
6m 38s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
6m 38s
Add kmir tool description and CI workflow Rust Tests #1608: Pull request #310 synchronize by gregorymakodzeba
6m 51s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
6m 51s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Rust Tests #1607: Pull request #328 synchronize by carolynzech
4m 55s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
4m 55s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Rust Tests #1606: Pull request #328 synchronize by carolynzech
4m 55s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
4m 55s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Rust Tests #1605: Pull request #328 synchronize by carolynzech
6m 35s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
6m 35s
Merge subtree update for toolchain nightly-2025-04-07 Rust Tests #1604: Pull request #329 reopened by tautschnig
7m 3s sync-2025-04-07
sync-2025-04-07
7m 3s
Add safety preconditions to core/src/iter/range.rs Rust Tests #1603: Pull request #331 synchronize by tautschnig
6m 55s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
6m 55s
Add safety preconditions to std/src/alloc.rs Rust Tests #1602: Pull request #330 synchronize by tautschnig
6m 44s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
6m 44s
Add safety preconditions to core/src/iter/range.rs Rust Tests #1601: Pull request #331 opened by tautschnig
4m 21s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
4m 21s
Add safety preconditions to std/src/alloc.rs Rust Tests #1600: Pull request #330 opened by tautschnig
4m 57s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
4m 57s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Rust Tests #1599: Pull request #328 opened by carolynzech
6m 51s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
6m 51s
Add loop_invariants for some Int power functions Rust Tests #1598: Pull request #327 synchronize by thanhnguyen-aws
7m 5s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
7m 5s
Rust Tests Rust Tests #1597: Merge group checks requested
6m 32s
6m 32s
Rust Tests Rust Tests #1596: Merge group checks requested
7m 0s
7m 0s
ProTip! You can narrow down the results and go further in time using created:<2025-04-17 or the other filters available.