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 #2282: Pull request #555 reopened by feliperodri
7m 13s update-kani-metrics
update-kani-metrics
7m 13s
Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow… Build Book #2281: Commit c69b9b9 pushed by github-merge-queue Bot
7m 11s main
main
7m 11s
New challenge: flt2dec (#523) Build Book #2280: Commit 7056130 pushed by github-merge-queue Bot
7m 12s main
main
7m 12s
Build Book Build Book #2279: Merge group checks requested
7m 9s
7m 9s
New challenge: safety of boxed (#525) Build Book #2278: Commit 68525fc pushed by github-merge-queue Bot
6m 52s gh-readonly-queue/main/pr-525-7056130df67cec4b052fc71013a01b8552ecc428
gh-readonly-queue/main/pr-525-7056130df67cec4b052fc71013a01b8552ecc428
6m 52s
Build Book Build Book #2277: Merge group checks requested
7m 1s
7m 1s
New challenge: flt2dec (#523) Build Book #2276: Commit 7056130 pushed by github-merge-queue Bot
6m 55s gh-readonly-queue/main/pr-523-be3bf0e5f09f79fc68d11bcc04c26011012b3912
gh-readonly-queue/main/pr-523-be3bf0e5f09f79fc68d11bcc04c26011012b3912
6m 55s
Build Book Build Book #2275: Merge group checks requested
7m 4s
7m 4s
Build Book Build Book #2274: Merge group checks requested
6m 59s
6m 59s
Update Kani Metrics Build Book #2273: Pull request #553 reopened by tautschnig
7m 5s update-kani-metrics
update-kani-metrics
7m 5s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2272: Pull request #549 synchronize by kasimte
6m 55s kasimte:challenge-16
kasimte:challenge-16
6m 55s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2271: Pull request #549 synchronize by kasimte
6m 54s kasimte:challenge-16
kasimte:challenge-16
6m 54s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2270: Pull request #549 synchronize by kasimte
6m 45s kasimte:challenge-16
kasimte:challenge-16
6m 45s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2269: Pull request #549 synchronize by kasimte
7m 5s kasimte:challenge-16
kasimte:challenge-16
7m 5s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2268: Pull request #549 synchronize by kasimte
6m 51s kasimte:challenge-16
kasimte:challenge-16
6m 51s
New challenge: safety of boxed Build Book #2267: Pull request #525 synchronize by feliperodri
6m 55s AlexLB99:boxed-chal
AlexLB99:boxed-chal
6m 55s
New challenge: flt2dec Build Book #2266: Pull request #523 synchronize by feliperodri
6m 47s AlexLB99:flt2dec-chal
AlexLB99:flt2dec-chal
6m 47s
Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow Build Book #2265: Pull request #552 opened by AdnaneKhan
7m 5s AdnaneKhan:update/scopedown-token
AdnaneKhan:update/scopedown-token
7m 5s
Build Book Build Book #2264: Merge group checks requested
6m 55s
6m 55s
Update Kani Metrics Build Book #2263: Pull request #551 reopened by tautschnig
7m 16s update-kani-metrics
update-kani-metrics
7m 16s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Build Book #2262: Pull request #543 synchronize by jrey8343
6m 52s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
6m 52s
Verify safety of StrSearcher (Challenge 21) Build Book #2261: Pull request #538 synchronize by jrey8343
6m 50s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
6m 50s
Verify safety of slice iterator functions (Challenge 18) Build Book #2260: Pull request #545 synchronize by jrey8343
6m 51s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
6m 51s
Verify safety of NonZero operations (Challenge 12) Build Book #2259: Pull request #544 synchronize by jrey8343
6m 43s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
6m 43s
Verify safety of char-related Searcher methods (Challenge 20) Build Book #2258: Pull request #537 synchronize by jrey8343
6m 49s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
6m 49s