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
Add safety preconditions to core/src/iter/range.rs Rust Tests #1695: Pull request #331 synchronize by tautschnig
8m 3s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
8m 3s
Add contracts for NonZero::from_mut_unchecked Rust Tests #1694: Pull request #345 opened by tautschnig
3m 23s tautschnig:from_mut_unchecked
tautschnig:from_mut_unchecked
3m 23s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1693: Pull request #338 synchronize by tautschnig
7m 24s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
7m 24s
Add safety preconditions to core/src/iter/range.rs Rust Tests #1692: Pull request #331 synchronize by tautschnig
6m 45s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
6m 45s
Add safety preconditions to std/src/alloc.rs Rust Tests #1691: Pull request #330 synchronize by tautschnig
8m 0s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
8m 0s
Parse log file of multi-threaded Kani run (terse output) into JSON Rust Tests #1690: Pull request #324 synchronize by tautschnig
7m 33s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
7m 33s
Add autoharness to run-kani script and use in CI (#334) Rust Tests #1689: Commit f804a33 pushed by github-merge-queue Bot
6m 37s main
main
6m 37s
Add autoharness to run-kani script and use in CI (#334) Rust Tests #1688: Commit f804a33 pushed by github-merge-queue Bot
7m 25s gh-readonly-queue/main/pr-334-f1aaa87212c3a30a3897e28672bf927cb6522189
gh-readonly-queue/main/pr-334-f1aaa87212c3a30a3897e28672bf927cb6522189
7m 25s
Rust Tests Rust Tests #1687: Merge group checks requested
7m 47s
7m 47s
Add autoharness to run-kani script and use in CI Rust Tests #1686: Pull request #334 synchronize by tautschnig
7m 10s tautschnig:autoharness-support
tautschnig:autoharness-support
7m 10s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types (#… Rust Tests #1685: Commit 29f7a35 pushed by github-merge-queue Bot
7m 52s main
main
7m 52s
Add kmir tool description and CI workflow Rust Tests #1684: Pull request #310 synchronize by dkcumming
8m 35s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
8m 35s
Rust Tests Rust Tests #1683: Merge group checks requested
7m 16s
7m 16s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types (#… Rust Tests #1682: Commit 29f7a35 pushed by github-merge-queue Bot
6m 17s gh-readonly-queue/main/pr-328-ad096afeb2fed625039d1785943a166960daded1
gh-readonly-queue/main/pr-328-ad096afeb2fed625039d1785943a166960daded1
6m 17s
Rust Tests Rust Tests #1681: Merge group checks requested
5m 59s
5m 59s
Rust Tests Rust Tests #1680: Merge group checks requested
6m 6s
6m 6s
Add loop_invariants for some Int power functions (#327) Rust Tests #1679: Commit ad096af pushed by github-merge-queue Bot
6m 34s gh-readonly-queue/main/pr-327-dd017ac7fdda6047d7e1dee51e48920ebf3d0c44
gh-readonly-queue/main/pr-327-dd017ac7fdda6047d7e1dee51e48920ebf3d0c44
6m 34s
Add autoharness-analyzer CI job Rust Tests #1678: Pull request #344 synchronize by tautschnig
11m 19s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
11m 19s
Add autoharness-analyzer CI job Rust Tests #1677: Pull request #344 synchronize by tautschnig
8m 34s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
8m 34s
Add autoharness-analyzer CI job Rust Tests #1676: Pull request #344 synchronize by tautschnig
7m 34s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
7m 34s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1675: Pull request #338 synchronize by tautschnig
7m 29s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
7m 29s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1674: Pull request #338 synchronize by tautschnig
8m 39s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
8m 39s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1673: Pull request #338 synchronize by tautschnig
7m 46s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
7m 46s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1672: Pull request #338 synchronize by tautschnig
7m 11s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
7m 11s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1671: Pull request #338 synchronize by tautschnig
7m 4s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
7m 4s
ProTip! You can narrow down the results and go further in time using created:<2025-04-28 or the other filters available.