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

Add Flux specifications to path/bstr/hash/time Build Book #2086: Pull request #438 synchronize by nilehmann
6m 40s flux-rs:verify-time-rs
flux-rs:verify-time-rs
6m 40s
Add loop invariants and harnesses for some ascii functions Build Book #2085: Pull request #452 synchronize by thanhnguyen-aws
7m 3s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
7m 3s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2084: Pull request #439 synchronize by thanhnguyen-aws
6m 45s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 45s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2083: Pull request #439 synchronize by tautschnig
6m 53s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 53s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2082: Pull request #439 synchronize by tautschnig
6m 47s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 47s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2081: Pull request #439 synchronize by tautschnig
6m 32s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 32s
Add loop invariant and harness for repeat Build Book #2080: Pull request #468 synchronize by tautschnig
6m 59s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
6m 59s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2079: Pull request #439 synchronize by tautschnig
6m 44s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 44s
Add and update rewards to open challenges lacking one Build Book #2078: Pull request #459 synchronize by tautschnig
6m 45s tautschnig:add-rewards
tautschnig:add-rewards
6m 45s
Add loop_invariant and harness for array reverse Build Book #2077: Pull request #430 synchronize by tautschnig
6m 51s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
6m 51s
Loop invariants and harnesses for memchr functions Build Book #2076: Pull request #429 synchronize by tautschnig
6m 58s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
6m 58s
Add loop invariant and harness for repeat Build Book #2075: Pull request #468 synchronize by tautschnig
6m 38s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
6m 38s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2074: Pull request #439 synchronize by thanhnguyen-aws
6m 52s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 52s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2073: Pull request #439 synchronize by thanhnguyen-aws
6m 47s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 47s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2072: Pull request #439 synchronize by thanhnguyen-aws
6m 58s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 58s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2071: Pull request #439 synchronize by thanhnguyen-aws
7m 0s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
7m 0s
Add loop invariants and harnesses for some ascii functions Build Book #2070: Pull request #452 synchronize by thanhnguyen-aws
6m 51s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
6m 51s
Challenge 1 status update Build Book #2069: Pull request #433 synchronize by thanhnguyen-aws
6m 40s AlexLB99:complete-transmute
AlexLB99:complete-transmute
6m 40s
Add loop invariants and harnesses for DecimalSeq functions Build Book #2068: Pull request #439 synchronize by thanhnguyen-aws
6m 51s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
6m 51s
Add loop invariants and harnesses for some ascii functions Build Book #2067: Pull request #452 synchronize by thanhnguyen-aws
6m 49s thanhnguyen-aws:asciiinvariant
thanhnguyen-aws:asciiinvariant
6m 49s
Add loop invariant and harness for repeat Build Book #2066: Pull request #468 synchronize by thanhnguyen-aws
6m 45s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
6m 45s
Add loop_invariant and harness for array reverse Build Book #2065: Pull request #430 synchronize by thanhnguyen-aws
6m 48s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
6m 48s
Build Book Build Book #2064: Merge group checks requested
15m 35s
15m 35s
Merge subtree update for toolchain nightly-2025-08-20 Build Book #2063: Pull request #476 reopened by tautschnig
6m 58s sync-2025-08-20
sync-2025-08-20
6m 58s
Loop invariants and harnesses for memchr functions Build Book #2062: Pull request #429 synchronize by thanhnguyen-aws
6m 49s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
6m 49s