Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
971 workflow runs
971 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
Add and update rewards to open challenges lacking one (#459) Build Book #2156: Commit 53e9e1b pushed by github-merge-queue Bot
7m 15s main
main
7m 15s
Build Book Build Book #2155: Merge group checks requested
6m 53s
6m 53s
Add and update rewards to open challenges lacking one (#459) Build Book #2154: Commit 53e9e1b pushed by github-merge-queue Bot
6m 45s gh-readonly-queue/main/pr-459-195e1b6c38d600dfb79d7d117e813fdec6b6e63f
gh-readonly-queue/main/pr-459-195e1b6c38d600dfb79d7d117e813fdec6b6e63f
6m 45s
Build Book Build Book #2153: Merge group checks requested
6m 58s
6m 58s
Merge subtree update for toolchain nightly-2025-09-09 Build Book #2152: Pull request #488 synchronize by feliperodri
6m 56s sync-2025-09-09
sync-2025-09-09
6m 56s
Update README.md now that Challenge 1 is resolved Build Book #2151: Pull request #486 synchronize by feliperodri
6m 44s tautschnig:update-readme-challenge-1
tautschnig:update-readme-challenge-1
6m 44s
LLM-generated contracts Build Book #2150: Pull request #473 synchronize by feliperodri
6m 56s vonaka:llm_contracts_ty_invariants
vonaka:llm_contracts_ty_invariants
6m 56s
Remove spurious comments about the need for quantifiers Build Book #2149: Pull request #457 synchronize by feliperodri
6m 55s tautschnig:use-quantifiers
tautschnig:use-quantifiers
6m 55s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2148: Pull request #439 synchronize by feliperodri
7m 3s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
7m 3s
Add loop_invariant and harness for array reverse Build Book #2147: Pull request #430 synchronize by feliperodri
6m 43s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
6m 43s
add unsafe-finder tool Build Book #2146: Pull request #369 synchronize by feliperodri
6m 46s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
6m 46s
Add and update rewards to open challenges lacking one Build Book #2145: Pull request #459 synchronize by feliperodri
6m 41s tautschnig:add-rewards
tautschnig:add-rewards
6m 41s
Add and update rewards to open challenges lacking one Build Book #2144: Pull request #459 synchronize by feliperodri
6m 57s tautschnig:add-rewards
tautschnig:add-rewards
6m 57s
Add and update rewards to open challenges lacking one Build Book #2143: Pull request #459 synchronize by feliperodri
6m 55s tautschnig:add-rewards
tautschnig:add-rewards
6m 55s
iter: add kani proof for next_unchecked (#280) Build Book #2142: Pull request #501 opened by ghost
7m 22s model-checking/iter-next-unchecked
model-checking/iter-next-unchecked
7m 22s
Build Book Build Book #2141: Merge group checks requested
7m 1s
7m 1s
Update Kani Metrics Build Book #2140: Pull request #497 reopened by tautschnig
6m 56s update-kani-metrics
update-kani-metrics
6m 56s
Build Book Build Book #2139: Merge group checks requested
7m 4s
7m 4s
Update Kani Metrics Build Book #2138: Pull request #496 reopened by tautschnig
7m 15s update-kani-metrics
update-kani-metrics
7m 15s
Add loop invariant and harness for repeat Build Book #2137: Pull request #468 synchronize by thanhnguyen-aws
7m 6s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
7m 6s
add unsafe-finder tool Build Book #2136: Pull request #369 synchronize by patricklam
6m 56s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
6m 56s
add unsafe-finder tool Build Book #2135: Pull request #369 synchronize by patricklam
7m 11s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
7m 11s
add unsafe-finder tool Build Book #2134: Pull request #369 synchronize by patricklam
6m 50s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
6m 50s
Build Book Build Book #2133: Merge group checks requested
7m 4s
7m 4s
add unsafe-finder tool Build Book #2132: Pull request #369 synchronize by patricklam
7m 3s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
7m 3s
ProTip! You can narrow down the results and go further in time using created:<2025-09-24 or the other filters available.