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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Book Build Book #2316: Merge group checks requested
7m 18s
7m 18s
Update Kani Metrics Build Book #2315: Pull request #563 reopened by feliperodri
7m 16s update-kani-metrics
update-kani-metrics
7m 16s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2314: Pull request #530 synchronize by feliperodri
7m 4s sync-2025-11-25
sync-2025-11-25
7m 4s
Verify safety of slice iterator functions with Kani (Challenge 18) Build Book #2313: Pull request #560 synchronize by jrey8343
6m 46s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
6m 46s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Build Book #2312: Pull request #559 synchronize by jrey8343
7m 8s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
7m 8s
Verify safety of Vec functions with VeriFast (Challenge 23) Build Book #2311: Pull request #561 synchronize by jrey8343
6m 38s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
6m 38s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Build Book #2310: Pull request #559 synchronize by jrey8343
6m 59s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
6m 59s
Verify safety of slice iterator functions with Kani (Challenge 18) Build Book #2309: Pull request #560 synchronize by jrey8343
6m 58s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
6m 58s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Build Book #2308: Pull request #559 synchronize by jrey8343
6m 54s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
6m 54s
Verify safety of Vec functions with VeriFast (Challenge 23) Build Book #2307: Pull request #561 synchronize by jrey8343
7m 8s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
7m 8s
Verify safety of Vec functions with VeriFast (Challenge 23) Build Book #2306: Pull request #561 synchronize by jrey8343
7m 4s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
7m 4s
Verify safety of Vec functions with VeriFast (Challenge 23) Build Book #2305: Pull request #561 synchronize by jrey8343
6m 52s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
6m 52s
Verify safety of Vec IntoIter functions with VeriFast (Challenge 24) Build Book #2304: Pull request #562 synchronize by jrey8343
7m 1s jrey8343:challenge-24-vec-pt2
jrey8343:challenge-24-vec-pt2
7m 1s
Verify safety of Vec functions with VeriFast (Challenge 23) Build Book #2303: Pull request #561 synchronize by jrey8343
7m 4s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
7m 4s
Verify safety of Vec functions with VeriFast (Challenge 23) Build Book #2302: Pull request #561 synchronize by jrey8343
7m 8s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
7m 8s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Build Book #2301: Pull request #559 synchronize by jrey8343
6m 55s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
6m 55s
Verify memory safety of String functions (Challenge 10) Build Book #2300: Pull request #558 synchronize by jrey8343
7m 18s jrey8343:challenge-10-string
jrey8343:challenge-10-string
7m 18s
Verify safety of str iter functions (Challenge 22) Build Book #2299: Pull request #557 synchronize by jrey8343
6m 51s jrey8343:challenge-22-str-iter
jrey8343:challenge-22-str-iter
6m 51s
Verify safety of Vec IntoIter functions with VeriFast (Challenge 24) Build Book #2298: Pull request #562 opened by jrey8343
6m 55s jrey8343:challenge-24-vec-pt2
jrey8343:challenge-24-vec-pt2
6m 55s
Verify safety of Vec functions with VeriFast (Challenge 23) Build Book #2297: Pull request #561 opened by jrey8343
6m 50s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
6m 50s
Verify safety of slice iterator functions with Kani (Challenge 18) Build Book #2296: Pull request #560 opened by jrey8343
6m 46s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
6m 46s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Build Book #2295: Pull request #559 opened by jrey8343
6m 42s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
6m 42s
Verify memory safety of String functions (Challenge 10) Build Book #2294: Pull request #558 opened by jrey8343
7m 0s jrey8343:challenge-10-string
jrey8343:challenge-10-string
7m 0s
Verify safety of str iter functions (Challenge 22) Build Book #2293: Pull request #557 opened by jrey8343
6m 56s jrey8343:challenge-22-str-iter
jrey8343:challenge-22-str-iter
6m 56s
Build Book Build Book #2292: Merge group checks requested
6m 48s
6m 48s