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
Rust Tests Rust Tests #1720: Merge group checks requested
7m 37s
7m 37s
Move autoharness_analyzer to scripts/ Rust Tests #1719: Pull request #350 synchronize by carolynzech
8m 27s carolynzech:autoharness-analyzer-script
carolynzech:autoharness-analyzer-script
8m 27s
Only require two approvals for changes to doc/, library/ or verifast-proofs/ Rust Tests #1718: Pull request #351 opened by carolynzech
8m 3s carolynzech:approval-workflow
carolynzech:approval-workflow
8m 3s
Move autoharness_analyzer to scripts/ Rust Tests #1717: Pull request #350 opened by carolynzech
8m 28s carolynzech:autoharness-analyzer-script
carolynzech:autoharness-analyzer-script
8m 28s
Add kmir tool description and CI workflow Rust Tests #1716: Pull request #310 synchronize by jberthold
8m 41s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
8m 41s
Rust Tests Rust Tests #1715: Merge group checks requested
8m 4s
8m 4s
Update Kani Metrics Rust Tests #1714: Pull request #349 reopened by tautschnig
7m 52s update-kani-metrics
update-kani-metrics
7m 52s
additional transmute and transmute_unchecked harnesses Rust Tests #1713: Pull request #264 synchronize by AlexLB99
6m 37s AlexLB99:transmute
AlexLB99:transmute
6m 37s
additional transmute and transmute_unchecked harnesses Rust Tests #1712: Pull request #264 synchronize by AlexLB99
7m 24s AlexLB99:transmute
AlexLB99:transmute
7m 24s
additional transmute and transmute_unchecked harnesses Rust Tests #1711: Pull request #264 synchronize by AlexLB99
4m 9s AlexLB99:transmute
AlexLB99:transmute
4m 9s
additional transmute and transmute_unchecked harnesses Rust Tests #1710: Pull request #264 synchronize by AlexLB99
4m 38s AlexLB99:transmute
AlexLB99:transmute
4m 38s
additional transmute and transmute_unchecked harnesses Rust Tests #1709: Pull request #264 synchronize by AlexLB99
7m 32s AlexLB99:transmute
AlexLB99:transmute
7m 32s
Parse log file of multi-threaded Kani run (terse output) into JSON Rust Tests #1708: Pull request #324 synchronize by tautschnig
7m 13s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
7m 13s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Rust Tests #1707: Pull request #338 synchronize by tautschnig
7m 12s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
7m 12s
Parse log file of multi-threaded Kani run (terse output) into JSON Rust Tests #1706: Pull request #324 synchronize by tautschnig
6m 43s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
6m 43s
Add safety preconditions to core/src/iter/range.rs Rust Tests #1705: Pull request #331 synchronize by tautschnig
9m 1s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
9m 1s
Parse log file of multi-threaded Kani run (terse output) into JSON Rust Tests #1704: Pull request #324 synchronize by tautschnig
8m 4s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
8m 4s
Add safety preconditions to core/src/iter/range.rs Rust Tests #1703: Pull request #331 synchronize by tautschnig
7m 37s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
7m 37s
Derive Arbitrary for various core_arch::x86 types Rust Tests #1702: Pull request #348 synchronize by tautschnig
7m 55s tautschnig:core_arch_x86-arbitrary
tautschnig:core_arch_x86-arbitrary
7m 55s
Derive Arbitrary for various core_arch::x86 types Rust Tests #1701: Pull request #348 synchronize by tautschnig
8m 2s tautschnig:core_arch_x86-arbitrary
tautschnig:core_arch_x86-arbitrary
8m 2s
Add preconditions for disjoint_bitor Rust Tests #1700: Pull request #347 synchronize by tautschnig
7m 40s tautschnig:contracts-uint_macros
tautschnig:contracts-uint_macros
7m 40s
Derive Arbitrary for various core_arch::x86 types Rust Tests #1699: Pull request #348 opened by tautschnig
7m 47s tautschnig:core_arch_x86-arbitrary
tautschnig:core_arch_x86-arbitrary
7m 47s
Add preconditions for disjoint_bitor Rust Tests #1698: Pull request #347 opened by tautschnig
8m 20s tautschnig:contracts-uint_macros
tautschnig:contracts-uint_macros
8m 20s
Parse log file of multi-threaded Kani run (terse output) into JSON Rust Tests #1697: Pull request #324 synchronize by tautschnig
8m 11s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
8m 11s
Fix num::nonzero::NonZero::<*>::rotate_{left,right} contracts Rust Tests #1696: Pull request #346 opened by tautschnig
8m 18s tautschnig:fixup-rotate
tautschnig:fixup-rotate
8m 18s
ProTip! You can narrow down the results and go further in time using created:<2025-04-30 or the other filters available.