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,126 workflow runs
1,126 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
Clarify documentation of can_dereference with write permissions (#510) Rust Tests #2289: Commit b5775bd pushed by github-merge-queue Bot
5m 33s main
main
5m 33s
Clarify documentation of can_dereference with write permissions (#510) Rust Tests #2288: Commit b5775bd pushed by github-merge-queue Bot
7m 9s gh-readonly-queue/main/pr-510-78e9eb345ae768b5b8191a5f3deb2c5619542fa1
gh-readonly-queue/main/pr-510-78e9eb345ae768b5b8191a5f3deb2c5619542fa1
7m 9s
Rust Tests Rust Tests #2287: Merge group checks requested
7m 32s
7m 32s
Improve the VeriFast scripts Rust Tests #2286: Pull request #507 synchronize by btj
7m 17s btj:verifast-scripts
btj:verifast-scripts
7m 17s
Add a tour of the RawVec proof Rust Tests #2285: Pull request #481 synchronize by btj
5m 29s btj:rawvec-tour
btj:rawvec-tour
5m 29s
Rust Tests Rust Tests #2284: Merge group checks requested
4m 46s
4m 46s
Clarify documentation of can_dereference with write permissions Rust Tests #2283: Pull request #510 opened by dawidl022
5m 14s dawidl022:docs/can-dereference-has-write-permission
dawidl022:docs/can-dereference-has-write-permission
5m 14s
Update Kani Metrics Rust Tests #2282: Pull request #509 reopened by tautschnig
5m 6s update-kani-metrics
update-kani-metrics
5m 6s
Rust Tests Rust Tests #2281: Merge group checks requested
6m 17s
6m 17s
iter: add kani proof for next_unchecked (#280) Rust Tests #2280: Pull request #501 synchronize by ghost
6m 35s model-checking/iter-next-unchecked
model-checking/iter-next-unchecked
6m 35s
Improve the VeriFast scripts Rust Tests #2279: Pull request #507 synchronize by tautschnig
5m 16s btj:verifast-scripts
btj:verifast-scripts
5m 16s
Merge subtree update for toolchain nightly-2025-10-09 Rust Tests #2278: Pull request #504 synchronize by tautschnig
5m 5s sync-2025-10-09
sync-2025-10-09
5m 5s
Improve the VeriFast scripts Rust Tests #2277: Pull request #507 opened by btj
5m 28s btj:verifast-scripts
btj:verifast-scripts
5m 28s
iter: add kani proof for next_unchecked (#280) Rust Tests #2276: Pull request #501 synchronize by ghost
5m 17s model-checking/iter-next-unchecked
model-checking/iter-next-unchecked
5m 17s
Fixup merge resolution: Add and update rewards to open challenges lacking one Rust Tests #2275: Pull request #502 synchronize by tautschnig
5m 17s tautschnig:add-rewards
tautschnig:add-rewards
5m 17s
Merge subtree update for toolchain nightly-2025-10-09 Rust Tests #2274: Pull request #504 synchronize by tautschnig
5m 17s sync-2025-10-09
sync-2025-10-09
5m 17s
Update flux Rust Tests #2273: Commit a480b93 pushed by tautschnig
4m 56s sync-2025-10-09
sync-2025-10-09
4m 56s
Add loop_invariant and harness for array reverse (#430) Rust Tests #2272: Commit 3bb48f0 pushed by github-merge-queue Bot
5m 44s main
main
5m 44s
Fixup merge resolution: Add and update rewards to open challenges lacking one Rust Tests #2271: Pull request #502 opened by tautschnig
4m 2s tautschnig:add-rewards
tautschnig:add-rewards
4m 2s
Add loop_invariant and harness for array reverse (#430) Rust Tests #2270: Commit 3bb48f0 pushed by github-merge-queue Bot
6m 1s gh-readonly-queue/main/pr-430-c0c576af305c6604746ebe5193f3a05ab883d995
gh-readonly-queue/main/pr-430-c0c576af305c6604746ebe5193f3a05ab883d995
6m 1s
Rust Tests Rust Tests #2269: Merge group checks requested
4m 50s
4m 50s
Add loop invariants and harnesses for DecimalSeq functions (#439) Rust Tests #2268: Commit c0c576a pushed by github-merge-queue Bot
4m 19s gh-readonly-queue/main/pr-439-525c2f02b685a6f8b3fd627118c9e0a6ce9f83ff
gh-readonly-queue/main/pr-439-525c2f02b685a6f8b3fd627118c9e0a6ce9f83ff
4m 19s
Rust Tests Rust Tests #2267: Merge group checks requested
5m 36s
5m 36s
LLM-generated contracts (#473) Rust Tests #2266: Commit 525c2f0 pushed by github-merge-queue Bot
4m 1s gh-readonly-queue/main/pr-473-28ab0a2a39d28287eecbe4751c0611a0a1200f88
gh-readonly-queue/main/pr-473-28ab0a2a39d28287eecbe4751c0611a0a1200f88
4m 1s
Rust Tests Rust Tests #2265: Merge group checks requested
4m 3s
4m 3s
ProTip! You can narrow down the results and go further in time using created:<2025-10-09 or the other filters available.