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 Challenge 19: Safety of RawVec Rust Tests #1770: Pull request #314 synchronize by tautschnig
7m 24s thanhnguyen-aws:rawvecchallenge
thanhnguyen-aws:rawvecchallenge
7m 24s
Rust Tests Rust Tests #1769: Merge group checks requested
7m 25s
7m 25s
Add Challenges 20 21 22 for str Pattern and iter Rust Tests #1768: Pull request #266 synchronize by tautschnig
8m 31s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
8m 31s
Add missing proof_for_contract to mut_ptr::offset_from harness Rust Tests #1767: Pull request #358 synchronize by tautschnig
6m 21s carolynzech:missing-proof-attr
carolynzech:missing-proof-attr
6m 21s
Derive Arbitrary for various core_arch::x86 types Rust Tests #1766: Pull request #348 synchronize by tautschnig
8m 8s tautschnig:core_arch_x86-arbitrary
tautschnig:core_arch_x86-arbitrary
8m 8s
Add safety preconditions to core/src/iter/range.rs Rust Tests #1765: Pull request #331 synchronize by tautschnig
6m 25s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
6m 25s
Add safety preconditions to std/src/alloc.rs Rust Tests #1764: Pull request #330 synchronize by tautschnig
8m 38s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
8m 38s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1763: Pull request #338 synchronize by tautschnig
7m 17s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
7m 17s
Rust Tests Rust Tests #1762: Merge group checks requested
12m 32s
12m 32s
Add preconditions for disjoint_bitor Rust Tests #1761: Pull request #347 synchronize by tautschnig
6m 56s tautschnig:contracts-uint_macros
tautschnig:contracts-uint_macros
6m 56s
Parse log file of multi-threaded Kani run (terse output) into JSON Rust Tests #1760: Pull request #324 synchronize by tautschnig
7m 41s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
7m 41s
Merge subtree update for toolchain nightly-2025-05-06 (#354) Rust Tests #1759: Commit 30d156b pushed by github-merge-queue Bot
7m 50s main
main
7m 50s
Merge subtree update for toolchain nightly-2025-05-06 (#354) Rust Tests #1758: Commit 30d156b pushed by github-merge-queue Bot
8m 36s gh-readonly-queue/main/pr-354-571c8ac34aa5d7df66c1b41f2b1b9e935359b22a
gh-readonly-queue/main/pr-354-571c8ac34aa5d7df66c1b41f2b1b9e935359b22a
8m 36s
Rust Tests Rust Tests #1757: Merge group checks requested
8m 2s
8m 2s
Merge subtree update for toolchain nightly-2025-05-06 (#354) Rust Tests #1756: Commit ea70b44 pushed by github-merge-queue Bot
7m 52s gh-readonly-queue/main/pr-354-571c8ac34aa5d7df66c1b41f2b1b9e935359b22a
gh-readonly-queue/main/pr-354-571c8ac34aa5d7df66c1b41f2b1b9e935359b22a
7m 52s
Rust Tests Rust Tests #1755: Merge group checks requested
8m 3s
8m 3s
Merge subtree update for toolchain nightly-2025-05-06 Rust Tests #1754: Pull request #354 synchronize by tautschnig
8m 15s sync-2025-05-06
sync-2025-05-06
8m 15s
update stdarch Rust Tests #1753: Commit 0af6a86 pushed by tautschnig
7m 5s sync-2025-05-06
sync-2025-05-06
7m 5s
Merge subtree update for toolchain nightly-2025-05-06 Rust Tests #1752: Pull request #354 synchronize by tautschnig
7m 21s sync-2025-05-06
sync-2025-05-06
7m 21s
Merge subtree update for toolchain nightly-2025-05-06 Rust Tests #1751: Pull request #354 synchronize by tautschnig
7m 48s sync-2025-05-06
sync-2025-05-06
7m 48s
Increase timeout to 10 minutes Rust Tests #1750: Commit 634ea93 pushed by tautschnig
7m 16s sync-2025-05-06
sync-2025-05-06
7m 16s
Rust Tests Rust Tests #1749: Merge group checks requested
7m 36s
7m 36s
Update Kani Metrics Rust Tests #1748: Pull request #359 reopened by tautschnig
8m 20s update-kani-metrics
update-kani-metrics
8m 20s
Move autoharness_analyzer to scripts/ Rust Tests #1747: Pull request #350 synchronize by carolynzech
7m 41s carolynzech:autoharness-analyzer-script
carolynzech:autoharness-analyzer-script
7m 41s
Merge subtree update for toolchain nightly-2025-05-06 Rust Tests #1746: Pull request #354 synchronize by tautschnig
8m 7s sync-2025-05-06
sync-2025-05-06
8m 7s
ProTip! You can narrow down the results and go further in time using created:<2025-05-15 or the other filters available.