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,063 workflow runs
1,063 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Verify safety of NonZero operations (Challenge 12) Build Book #2257: Pull request #544 synchronize by jrey8343
6m 41s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
6m 41s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Build Book #2256: Pull request #543 synchronize by jrey8343
6m 35s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
6m 35s
Verify safety of StrSearcher (Challenge 21) Build Book #2255: Pull request #538 synchronize by jrey8343
6m 49s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
6m 49s
Verify safety of slice iterator functions (Challenge 18) Build Book #2254: Pull request #545 synchronize by jrey8343
6m 45s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
6m 45s
Verify safety of NonZero operations (Challenge 12) Build Book #2253: Pull request #544 synchronize by jrey8343
7m 10s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
7m 10s
Verify safety of char-related Searcher methods (Challenge 20) Build Book #2252: Pull request #537 synchronize by jrey8343
7m 10s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
7m 10s
Create python-app.yml Build Book #2251: Pull request #550 synchronize by MAX25M
6m 58s MAX25M:main
MAX25M:main
6m 58s
Create python-app.yml Build Book #2250: Pull request #550 opened by MAX25M
7m 8s MAX25M:main
MAX25M:main
7m 8s