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,119 workflow runs
1,119 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
disable is_ascii harness for x86 sse2; add FIXME Rust Tests #1871: Commit 1b59b66 pushed by carolynzech
6m 41s sync-2025-06-03
sync-2025-06-03
6m 41s
Rust Tests Rust Tests #1870: Merge group checks requested
7m 52s
7m 52s
Update Kani Metrics Rust Tests #1869: Pull request #389 reopened by tautschnig
7m 42s update-kani-metrics
update-kani-metrics
7m 42s
Merge subtree update for toolchain nightly-2025-06-03 Rust Tests #1868: Pull request #380 synchronize by carolynzech
4m 6s sync-2025-06-03
sync-2025-06-03
4m 6s
disable ./x test for now Rust Tests #1867: Commit 6b250a2 pushed by carolynzech
3m 46s sync-2025-06-03
sync-2025-06-03
3m 46s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts (#338) Rust Tests #1866: Commit 79498aa pushed by github-merge-queue Bot
8m 21s main
main
8m 21s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts (#338) Rust Tests #1865: Commit 79498aa pushed by github-merge-queue Bot
7m 40s gh-readonly-queue/main/pr-338-7dd01bb7b3f23edf49563987fbb0e440fe24ebeb
gh-readonly-queue/main/pr-338-7dd01bb7b3f23edf49563987fbb0e440fe24ebeb
7m 40s
Rust Tests Rust Tests #1864: Merge group checks requested
7m 28s
7m 28s
Add loop-contract for is_ascii_test function Rust Tests #1863: Pull request #388 opened by thanhnguyen-aws
7m 17s thanhnguyen-aws:fixasciicontract
thanhnguyen-aws:fixasciicontract
7m 17s
Rust Tests Rust Tests #1862: Merge group checks requested
10m 9s
10m 9s
Add challenge 23 24 for Vec Rust Tests #1861: Pull request #267 synchronize by carolynzech
8m 22s thanhnguyen-aws:vecchallenge
thanhnguyen-aws:vecchallenge
8m 22s
Rust Tests Rust Tests #1860: Merge group checks requested
7m 2s
7m 2s
Updates for goto-transcoder and ESBMC Rust Tests #1859: Pull request #387 opened by rafaelsamenezes
7m 29s esbmc:main
esbmc:main
7m 29s
Merge subtree update for toolchain nightly-2025-06-03 Rust Tests #1858: Pull request #380 synchronize by carolynzech
5m 16s sync-2025-06-03
sync-2025-06-03
5m 16s
Merge subtree update for toolchain nightly-2025-06-03 Rust Tests #1857: Pull request #380 reopened by carolynzech
4m 37s sync-2025-06-03
sync-2025-06-03
4m 37s
Rust Tests Rust Tests #1856: Merge group checks requested
7m 30s
7m 30s
Kani: use -Z unstable-options instead of --enable-unstable Rust Tests #1855: Pull request #386 synchronize by tautschnig
7m 45s tautschnig:no-enable-unstable
tautschnig:no-enable-unstable
7m 45s
Rust Tests Rust Tests #1854: Merge group checks requested
6m 53s
6m 53s
Rust Tests Rust Tests #1853: Merge group checks requested
7m 1s
7m 1s
Rust Tests Rust Tests #1852: Merge group checks requested
6m 24s
6m 24s
Kani: use -Z unstable-options instead of --enable-unstable Rust Tests #1851: Pull request #386 opened by tautschnig
6m 14s tautschnig:no-enable-unstable
tautschnig:no-enable-unstable
6m 14s
Update Kani Metrics Rust Tests #1850: Pull request #385 reopened by tautschnig
7m 34s update-kani-metrics
update-kani-metrics
7m 34s
Setting the appropriate target when running autoharness-analyzer Rust Tests #1849: Pull request #384 opened by vonaka
7m 11s vonaka:autoharness-analyzer-fix
vonaka:autoharness-analyzer-fix
7m 11s
New challenges for Rc, Arc, and related Weak implementations Rust Tests #1848: Pull request #367 synchronize by AlexLB99
7m 55s AlexLB99:new_challenge
AlexLB99:new_challenge
7m 55s
New challenges for Rc, Arc, and related Weak implementations Rust Tests #1847: Pull request #367 synchronize by AlexLB99
7m 34s AlexLB99:new_challenge
AlexLB99:new_challenge
7m 34s
ProTip! You can narrow down the results and go further in time using created:<2025-06-06 or the other filters available.