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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Book Build Book #2219: Merge group checks requested
6m 52s
6m 52s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2218: Pull request #530 synchronize by feliperodri
7m 2s sync-2025-11-25
sync-2025-11-25
7m 2s
Update Kani Metrics Build Book #2217: Pull request #536 reopened by feliperodri
6m 55s update-kani-metrics
update-kani-metrics
6m 55s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2216: Pull request #530 synchronize by tautschnig
6m 44s sync-2025-11-25
sync-2025-11-25
6m 44s
Build Book Build Book #2215: Merge group checks requested
6m 48s
6m 48s
Update Kani Metrics Build Book #2214: Pull request #534 reopened by tautschnig
6m 50s update-kani-metrics
update-kani-metrics
6m 50s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2213: Pull request #530 synchronize by tautschnig
6m 47s sync-2025-11-25
sync-2025-11-25
6m 47s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2212: Pull request #530 synchronize by tautschnig
6m 32s sync-2025-11-25
sync-2025-11-25
6m 32s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2211: Pull request #530 synchronize by tautschnig
6m 37s sync-2025-11-25
sync-2025-11-25
6m 37s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2210: Pull request #530 reopened by tautschnig
6m 39s sync-2025-11-25
sync-2025-11-25
6m 39s
Build Book Build Book #2209: Merge group checks requested
6m 37s
6m 37s
Build Book Build Book #2208: Merge group checks requested
6m 54s
6m 54s
Update Kani Metrics Build Book #2207: Pull request #522 reopened by tautschnig
6m 56s update-kani-metrics
update-kani-metrics
6m 56s
Improve the VeriFast scripts Build Book #2206: Pull request #507 synchronize by btj
6m 45s btj:verifast-scripts
btj:verifast-scripts
6m 45s
Improve the VeriFast scripts Build Book #2205: Pull request #507 synchronize by btj
6m 54s btj:verifast-scripts
btj:verifast-scripts
6m 54s
Merge subtree update for toolchain nightly-2025-11-23 Build Book #2204: Pull request #528 reopened by tautschnig
6m 43s sync-2025-11-23
sync-2025-11-23
6m 43s
Improve the VeriFast scripts Build Book #2203: Pull request #507 synchronize by tautschnig
6m 47s btj:verifast-scripts
btj:verifast-scripts
6m 47s
Build Book Build Book #2202: Merge group checks requested
6m 46s
6m 46s
Update Kani Metrics Build Book #2201: Pull request #522 reopened by tautschnig
7m 10s update-kani-metrics
update-kani-metrics
7m 10s
Merge subtree update for toolchain nightly-2025-10-09 Build Book #2200: Pull request #504 synchronize by tautschnig
6m 49s sync-2025-10-09
sync-2025-10-09
6m 49s
Bump VeriFast to 25.11; fixes failure Build Book #2199: Commit 5a18cbf pushed by tautschnig
6m 49s sync-2025-10-09
sync-2025-10-09
6m 49s
New challenge: safety of boxed Build Book #2198: Pull request #525 synchronize by AlexLB99
6m 54s AlexLB99:boxed-chal
AlexLB99:boxed-chal
6m 54s
New challenge: safety of boxed Build Book #2197: Pull request #525 opened by AlexLB99
6m 53s AlexLB99:boxed-chal
AlexLB99:boxed-chal
6m 53s
New challenge: flt2dec Build Book #2196: Pull request #523 synchronize by AlexLB99
6m 49s AlexLB99:flt2dec-chal
AlexLB99:flt2dec-chal
6m 49s
New challenge: flt2dec Build Book #2195: Pull request #523 opened by AlexLB99
7m 18s AlexLB99:flt2dec-chal
AlexLB99:flt2dec-chal
7m 18s