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