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,349 workflow runs
1,349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Book Build Book #2194: Merge group checks requested
6m 49s
6m 49s
Update Kani Metrics Build Book #2193: Pull request #521 reopened by feliperodri
6m 45s update-kani-metrics
update-kani-metrics
6m 45s
Build Book Build Book #2192: Merge group checks requested
7m 15s
7m 15s
Update Kani Metrics Build Book #2191: Pull request #519 reopened by tautschnig
6m 40s update-kani-metrics
update-kani-metrics
6m 40s
Improve the VeriFast scripts Build Book #2190: Pull request #507 synchronize by btj
7m 7s btj:verifast-scripts
btj:verifast-scripts
7m 7s
Build Book Build Book #2189: Merge group checks requested
7m 6s
7m 6s
Build Book Build Book #2188: Merge group checks requested
6m 56s
6m 56s
Update Kani Metrics Build Book #2187: Pull request #517 reopened by feliperodri
7m 18s update-kani-metrics
update-kani-metrics
7m 18s
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