Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
742 workflow runs
742 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 #2437: Pull request #604 opened by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Verify the safety of slice functions (challenge #17) Build Book #2436: Pull request #603 opened by MavenRain
7m 4s MavenRain:17-slice
MavenRain:17-slice
7m 4s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Build Book #2435: Pull request #602 synchronize by MavenRain
6m 42s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
6m 42s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2434: Pull request #601 synchronize by MavenRain
6m 43s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
6m 43s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Build Book #2433: Pull request #602 opened by MavenRain
5m 29s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
5m 29s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2432: Pull request #601 synchronize by MavenRain
7m 14s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
7m 14s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2431: Pull request #601 synchronize by MavenRain
6m 48s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
6m 48s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2430: Pull request #601 opened by MavenRain
6m 46s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
6m 46s
Build Book Build Book #2429: Merge group checks requested
6m 50s
6m 50s
Update Kani Metrics Build Book #2428: Pull request #597 synchronize by github-actions Bot
7m 6s update-kani-metrics
update-kani-metrics
7m 6s
Add Kani contracts and harnesses for NonZero (Challenge 12) Build Book #2427: Pull request #600 opened by kasimte
7m 3s kasimte:challenge-12-nonzero
kasimte:challenge-12-nonzero
7m 3s
Challenge 24: Verify Vec Part2 safety with Kani Build Book #2426: Pull request #599 opened by v3risec
5m 32s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
5m 32s
Challenge 23: Verify Vec Part1 safety with Kani Build Book #2425: Pull request #598 opened by v3risec
6m 48s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
6m 48s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2424: Pull request #587 synchronize by v3risec
7m 7s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 7s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Build Book #2423: Pull request #589 synchronize by v3risec
6m 50s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
6m 50s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Build Book #2422: Pull request #596 synchronize by gui-wf
6m 58s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
6m 58s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Build Book #2421: Pull request #596 synchronize by gui-wf
6m 58s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
6m 58s
Build Book Build Book #2420: Merge group checks requested
7m 15s
7m 15s
Update Kani Metrics Build Book #2419: Pull request #593 reopened by feliperodri
6m 59s update-kani-metrics
update-kani-metrics
6m 59s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Build Book #2418: Pull request #596 synchronize by gui-wf
6m 50s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
6m 50s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Build Book #2417: Pull request #596 synchronize by gui-wf
6m 44s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
6m 44s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Build Book #2416: Pull request #596 synchronize by gui-wf
7m 1s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
7m 1s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Build Book #2415: Pull request #596 opened by gui-wf
6m 42s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
6m 42s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2414: Pull request #582 synchronize by v3risec
7m 6s v3risec:challenge-26-rc
v3risec:challenge-26-rc
7m 6s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2413: Pull request #587 synchronize by v3risec
7m 13s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 13s