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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Book Build Book #2381: Merge group checks requested
6m 55s
6m 55s
Update Kani Metrics Build Book #2380: Pull request #583 reopened by feliperodri
6m 48s update-kani-metrics
update-kani-metrics
6m 48s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2379: Pull request #582 synchronize by MinghuaWang
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2378: Pull request #582 synchronize by MinghuaWang
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Challenge 12: Verify safety of NonZero Build Book #2377: Pull request #565 synchronize by Samuelsills
6m 40s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6m 40s
Challenge 12: Verify safety of NonZero Build Book #2376: Pull request #565 synchronize by Samuelsills
6m 37s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6m 37s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2375: Pull request #582 opened by v3risec
6m 51s v3risec:challenge-26-rc
v3risec:challenge-26-rc
6m 51s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Build Book #2374: Pull request #543 synchronize by jrey8343
5m 18s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
5m 18s
Verify safety of str iter functions (Challenge 22) Build Book #2373: Pull request #557 synchronize by jrey8343
6m 50s jrey8343:challenge-22-str-iter
jrey8343:challenge-22-str-iter
6m 50s
Verify memory safety of String functions (Challenge 10) Build Book #2372: Pull request #558 synchronize by jrey8343
6m 36s jrey8343:challenge-10-string
jrey8343:challenge-10-string
6m 36s
Verify safety of char-related Searcher methods (Challenge 20) Build Book #2371: Pull request #537 synchronize by jrey8343
6m 48s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
6m 48s
Verify safety of NonZero operations (Challenge 12) Build Book #2370: Pull request #544 synchronize by jrey8343
6m 57s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
6m 57s
Verify safety of StrSearcher (Challenge 21) Build Book #2369: Pull request #538 synchronize by jrey8343
6m 23s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
6m 23s
Challenge 12: Verify safety of NonZero Build Book #2368: Pull request #565 synchronize by Samuelsills
6m 24s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6m 24s
Challenge 12: Verify safety of NonZero Build Book #2367: Pull request #565 synchronize by Samuelsills
7m 4s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
7m 4s
Challenge 12: Verify safety of NonZero Build Book #2366: Pull request #565 synchronize by Samuelsills
6m 54s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6m 54s
Challenge 22: Verify safety of str iter functions Build Book #2365: Pull request #572 synchronize by Samuelsills
6m 34s Samuelsills:challenge-22-str-iter
Samuelsills:challenge-22-str-iter
6m 34s
Build Book Build Book #2364: Merge group checks requested
6m 30s
6m 30s
Add GitHub Copilot code review instructions Build Book #2363: Pull request #581 opened by feliperodri
6m 39s feliperodri:review-guidelines
feliperodri:review-guidelines
6m 39s
Challenge 22: Verify safety of str iter functions Build Book #2362: Pull request #572 synchronize by Samuelsills
7m 12s Samuelsills:challenge-22-str-iter
Samuelsills:challenge-22-str-iter
7m 12s
Add GitHub Copilot code review instructions Build Book #2361: Pull request #580 opened by feliperodri
6m 48s review-guidelines
review-guidelines
6m 48s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2360: Pull request #549 synchronize by kasimte
7m 6s kasimte:challenge-16
kasimte:challenge-16
7m 6s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2359: Pull request #549 synchronize by kasimte
7m 1s kasimte:challenge-16
kasimte:challenge-16
7m 1s
Build Book Build Book #2358: Merge group checks requested
7m 3s
7m 3s
Update Kani Metrics Build Book #2357: Pull request #579 reopened by feliperodri
6m 40s update-kani-metrics
update-kani-metrics
6m 40s