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 #2111: Merge group checks requested
6m 47s
6m 47s
Build Book Build Book #2110: Merge group checks requested
7m 0s
7m 0s
Challenge 1 status update (#433) Build Book #2109: Commit 047eac5 pushed by github-merge-queue bot
6m 45s gh-readonly-queue/main/pr-433-4761a012a5a47ce1b2b613c12423a6f09c160235
gh-readonly-queue/main/pr-433-4761a012a5a47ce1b2b613c12423a6f09c160235
6m 45s
Build Book Build Book #2108: Merge group checks requested
6m 40s
6m 40s
Build Book Build Book #2107: Merge group checks requested
6m 43s
6m 43s
Build Book Build Book #2106: Merge group checks requested
6m 49s
6m 49s
Workaround sporadic git submodule failure Build Book #2105: Pull request #484 synchronize by tautschnig
6m 52s tautschnig:workaround-lfs-error
tautschnig:workaround-lfs-error
6m 52s
Workaround sporadic git submodule failure Build Book #2104: Pull request #484 opened by tautschnig
6m 51s tautschnig:workaround-lfs-error
tautschnig:workaround-lfs-error
6m 51s
Build Book Build Book #2103: Merge group checks requested
7m 11s
7m 11s
Merge subtree update for toolchain nightly-2025-08-26 Build Book #2102: Pull request #480 synchronize by tautschnig
6m 58s sync-2025-08-26
sync-2025-08-26
6m 58s
Merge subtree update for toolchain nightly-2025-08-26 Build Book #2101: Pull request #480 reopened by tautschnig
7m 7s sync-2025-08-26
sync-2025-08-26
7m 7s
Build Book Build Book #2100: Merge group checks requested
6m 55s
6m 55s
Update Kani Metrics Build Book #2099: Pull request #483 reopened by tautschnig
7m 7s update-kani-metrics
update-kani-metrics
7m 7s
Testable Models for SIMD Intrinsics Build Book #2098: Pull request #423 synchronize by karthikbhargavan
6m 57s cryspen:main
cryspen:main
6m 57s
Testable Models for SIMD Intrinsics Build Book #2097: Pull request #423 synchronize by karthikbhargavan
6m 45s cryspen:main
cryspen:main
6m 45s
Show contest status in repo README Build Book #2096: Pull request #482 opened by btj
6m 38s btj:challenges-in-readme
btj:challenges-in-readme
6m 38s
Add a tour of the RawVec proof Build Book #2095: Pull request #481 opened by btj
6m 45s btj:rawvec-tour
btj:rawvec-tour
6m 45s
Challenge 1 status update Build Book #2094: Pull request #433 synchronize by AlexLB99
6m 42s AlexLB99:complete-transmute
AlexLB99:complete-transmute
6m 42s
Challenge 1 status update Build Book #2093: Pull request #433 synchronize by AlexLB99
6m 51s AlexLB99:complete-transmute
AlexLB99:complete-transmute
6m 51s
Add loop invariants and harnesses for some ascii functions Build Book #2092: Pull request #452 synchronize by thanhnguyen-aws
6m 48s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
6m 48s
Build Book Build Book #2091: Merge group checks requested
6m 52s
6m 52s
Update Kani Metrics Build Book #2090: Pull request #478 reopened by tautschnig
6m 33s update-kani-metrics
update-kani-metrics
6m 33s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2089: Pull request #439 synchronize by tautschnig
6m 36s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 36s
Add loop invariants and harnesses for some ascii functions Build Book #2088: Pull request #452 synchronize by thanhnguyen-aws
6m 52s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
6m 52s
Add loop invariants and harnesses for some ascii functions Build Book #2087: Pull request #452 synchronize by thanhnguyen-aws
6m 44s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
6m 44s