Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
670 workflow runs
670 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 #2483: Pull request #616 opened by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Add RAPx tool description and CI workflow Build Book #2482: Pull request #491 synchronize by DiuDiu777
7m 21s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
7m 21s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2481: Pull request #613 synchronize by tautschnig
6m 54s sync-2026-02-05
sync-2026-02-05
6m 54s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2480: Pull request #613 synchronize by tautschnig
9m 6s sync-2026-02-05
sync-2026-02-05
9m 6s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2479: Pull request #613 synchronize by tautschnig
7m 21s sync-2026-02-05
sync-2026-02-05
7m 21s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2478: Pull request #613 synchronize by tautschnig
7m 12s sync-2026-02-05
sync-2026-02-05
7m 12s
Add kmir tool description and CI workflow Build Book #2477: Pull request #310 synchronize by dkcumming
7m 14s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
7m 14s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2476: Pull request #613 synchronize by tautschnig
1h 51m 53s sync-2026-02-05
sync-2026-02-05
1h 51m 53s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2475: Pull request #613 synchronize by tautschnig
5m 26s sync-2026-02-05
sync-2026-02-05
5m 26s
Merge subtree update for toolchain nightly-2026-02-05 Build Book #2474: Pull request #613 opened by github-actions Bot
6m 47s sync-2026-02-05
sync-2026-02-05
6m 47s
Bump serde_with from 3.14.0 to 3.21.0 in /library/stdarch Build Book #2473: Pull request #611 opened by dependabot Bot
7m 11s dependabot/cargo/library/stdarch/serde_with-3.21.0
dependabot/cargo/library/stdarch/serde_with-3.21.0
7m 11s
Build Book Build Book #2472: Merge group checks requested
4m 54s
4m 54s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2471: Pull request #530 synchronize by tautschnig
5m 57s sync-2025-11-25
sync-2025-11-25
5m 57s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2470: Pull request #530 synchronize by tautschnig
7m 4s sync-2025-11-25
sync-2025-11-25
7m 4s
Build Book Build Book #2469: Merge group checks requested
7m 13s
7m 13s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2468: Pull request #530 synchronize by tautschnig
7m 8s sync-2025-11-25
sync-2025-11-25
7m 8s
Update Kani Metrics Build Book #2467: Pull request #610 opened by github-actions Bot
7m 6s update-kani-metrics
update-kani-metrics
7m 6s
Attribute cfg(kani) harnesses to their crate in log_parser Build Book #2466: Pull request #609 opened by MavenRain
6m 46s MavenRain:463-crate-from-file-path
MavenRain:463-crate-from-file-path
6m 46s
New challenge: Progress Public MIR Build Book #2465: Pull request #592 synchronize by palinatolmach
5m 53s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
5m 53s
New challenge: Progress Public MIR Build Book #2464: Pull request #592 synchronize by palinatolmach
6m 50s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
6m 50s
New challenge: Progress Public MIR Build Book #2463: Pull request #592 synchronize by palinatolmach
6m 58s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
6m 58s
New Challenge: Enrich MIR Consts Build Book #2462: Pull request #595 synchronize by palinatolmach
6m 47s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
6m 47s
New Challenge: Enrich MIR Consts Build Book #2461: Pull request #595 synchronize by palinatolmach
6m 43s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
6m 43s
New challenge: Progress Public MIR Build Book #2460: Pull request #592 synchronize by palinatolmach
6m 20s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
6m 20s
Build Book Build Book #2459: Merge group checks requested
7m 5s
7m 5s