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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 (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 (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 (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
Update Kani Metrics Build Book #2291: Pull request #556 reopened by tautschnig
7m 2s update-kani-metrics
update-kani-metrics
7m 2s
Add RAPx tool description and CI workflow Build Book #2290: Pull request #491 synchronize by DiuDiu777
6m 59s Artisan-Lab:rapx-verify-std
Artisan-Lab:rapx-verify-std
6m 59s
Add RAPx tool description and CI workflow Build Book #2289: Pull request #491 synchronize by DiuDiu777
6m 58s Artisan-Lab:rapx-verify-std
Artisan-Lab:rapx-verify-std
6m 58s
Add RAPx tool description and CI workflow Build Book #2288: Pull request #491 synchronize by DiuDiu777
6m 47s Artisan-Lab:rapx-verify-std
Artisan-Lab:rapx-verify-std
6m 47s
Build Book Build Book #2287: Merge group checks requested
6m 49s
6m 49s
Build Book Build Book #2286: Merge group checks requested
7m 16s
7m 16s
Merge subtree update for toolchain nightly-2025-11-25 Build Book #2285: Pull request #530 synchronize by feliperodri
6m 59s sync-2025-11-25
sync-2025-11-25
6m 59s
Merge branch 'main' into sync-2025-11-25 Build Book #2284: Commit 0825fd1 pushed by feliperodri
7m 11s sync-2025-11-25
sync-2025-11-25
7m 11s
README.md: Sync rewards Build Book #2283: Pull request #515 synchronize by feliperodri
7m 21s btj:README-sync-rewards
btj:README-sync-rewards
7m 21s
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