Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
1,488 workflow runs
1,488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Book Build Book #2186: Merge group checks requested
6m 41s
6m 41s
README.md: Sync rewards Build Book #2185: Pull request #515 opened by btj
6m 56s btj:README-sync-rewards
btj:README-sync-rewards
6m 56s
Update Kani Metrics Build Book #2184: Pull request #514 reopened by tautschnig
7m 10s update-kani-metrics
update-kani-metrics
7m 10s
Merge subtree update for toolchain nightly-2025-10-09 Build Book #2183: Pull request #504 synchronize by feliperodri
7m 10s sync-2025-10-09
sync-2025-10-09
7m 10s
Build Book Build Book #2182: Merge group checks requested
7m 0s
7m 0s
Update Kani Metrics Build Book #2181: Pull request #511 reopened by tautschnig
7m 16s update-kani-metrics
update-kani-metrics
7m 16s
Update Kani Metrics Build Book #2180: Pull request #511 reopened by tautschnig
6m 52s update-kani-metrics
update-kani-metrics
6m 52s
Add RAPx tool description and CI workflow Build Book #2179: Pull request #491 synchronize by DiuDiu777
7m 2s Artisan-Lab:rapx-verify-std
Artisan-Lab:rapx-verify-std
7m 2s
Build Book Build Book #2178: Merge group checks requested
9m 49s
9m 49s
Improve the VeriFast scripts Build Book #2177: Pull request #507 synchronize by btj
6m 58s btj:verifast-scripts
btj:verifast-scripts
6m 58s
Add a tour of the RawVec proof Build Book #2176: Pull request #481 synchronize by btj
7m 28s btj:rawvec-tour
btj:rawvec-tour
7m 28s
Build Book Build Book #2175: Merge group checks requested
6m 56s
6m 56s
Fixup merge resolution: Add and update rewards to open challenges lac… Build Book #2174: Commit 02cd117 pushed by github-merge-queue bot
7m 14s main
main
7m 14s
Clarify documentation of can_dereference with write permissions Build Book #2173: Pull request #510 opened by dawidl022
6m 51s dawidl022:docs/can-dereference-has-write-permission
dawidl022:docs/can-dereference-has-write-permission
6m 51s
Update Kani Metrics Build Book #2172: Pull request #509 reopened by tautschnig
6m 57s update-kani-metrics
update-kani-metrics
6m 57s
Fixup merge resolution: Add and update rewards to open challenges lac… Build Book #2171: Commit 02cd117 pushed by github-merge-queue bot
7m 14s gh-readonly-queue/main/pr-502-3bb48f08ce92da67cfb308808f15bc42bd4355d9
gh-readonly-queue/main/pr-502-3bb48f08ce92da67cfb308808f15bc42bd4355d9
7m 14s
Build Book Build Book #2170: Merge group checks requested
7m 41s
7m 41s
iter: add kani proof for next_unchecked (#280) Build Book #2169: Pull request #501 synchronize by 0xllx0
7m 23s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
7m 23s
Improve the VeriFast scripts Build Book #2168: Pull request #507 synchronize by tautschnig
7m 15s btj:verifast-scripts
btj:verifast-scripts
7m 15s
Merge subtree update for toolchain nightly-2025-10-09 Build Book #2167: Pull request #504 synchronize by tautschnig
7m 0s sync-2025-10-09
sync-2025-10-09
7m 0s
Improve the VeriFast scripts Build Book #2166: Pull request #507 opened by btj
7m 17s btj:verifast-scripts
btj:verifast-scripts
7m 17s
iter: add kani proof for next_unchecked (#280) Build Book #2165: Pull request #501 synchronize by 0xllx0
7m 1s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
7m 1s
Fixup merge resolution: Add and update rewards to open challenges lacking one Build Book #2164: Pull request #502 synchronize by tautschnig
7m 27s tautschnig:add-rewards
tautschnig:add-rewards
7m 27s
Merge subtree update for toolchain nightly-2025-10-09 Build Book #2163: Pull request #504 synchronize by tautschnig
6m 52s sync-2025-10-09
sync-2025-10-09
6m 52s
Fixup merge resolution: Add and update rewards to open challenges lacking one Build Book #2162: Pull request #502 opened by tautschnig
6m 44s tautschnig:add-rewards
tautschnig:add-rewards
6m 44s