Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
698 workflow runs
698 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
Verify the safety of slice functions (challenge #17) Build Book #2457: Pull request #603 synchronize by MavenRain
7m 4s MavenRain:17-slice
MavenRain:17-slice
7m 4s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Build Book #2456: Pull request #602 synchronize by MavenRain
7m 4s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
7m 4s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2455: Pull request #601 synchronize by MavenRain
5m 58s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
5m 58s
Update Kani Metrics Build Book #2454: Pull request #607 opened by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Challenge 28: Verify flt2dec safety with Kani Build Book #2453: Pull request #606 synchronize by v3risec
6m 49s v3risec:challenge-28-flt2dec
v3risec:challenge-28-flt2dec
6m 49s
Challenge 28: Verify flt2dec safety with Kani Build Book #2452: Pull request #606 opened by v3risec
7m 15s v3risec:challenge-28-flt2dec
v3risec:challenge-28-flt2dec
7m 15s
Challenge 25: Verify Vecdeque safety with Kani Build Book #2451: Pull request #605 synchronize by v3risec
7m 5s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
7m 5s
Challenge 25: Verify Vecdeque safety with Kani Build Book #2450: Pull request #605 synchronize by v3risec
6m 49s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
6m 49s
Challenge 25: Verify Vecdeque safety with Kani Build Book #2449: Pull request #605 synchronize by v3risec
7m 3s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
7m 3s
Challenge 25: Verify Vecdeque safety with Kani Build Book #2448: Pull request #605 synchronize by v3risec
7m 11s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
7m 11s
Challenge 25: Verify Vecdeque safety with Kani Build Book #2447: Pull request #605 synchronize by v3risec
6m 54s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
6m 54s
Challenge 25: Verify Vecdeque safety with Kani Build Book #2446: Pull request #605 opened by v3risec
7m 3s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
7m 3s
Build Book Build Book #2445: Merge group checks requested
6m 59s
6m 59s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2444: Pull request #587 synchronize by v3risec
6m 59s v3risec:challenge-27-arc
v3risec:challenge-27-arc
6m 59s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2443: Pull request #582 synchronize by v3risec
7m 23s v3risec:challenge-26-rc
v3risec:challenge-26-rc
7m 23s
Update Kani Metrics Build Book #2442: Pull request #604 synchronize by github-actions Bot
6m 43s update-kani-metrics
update-kani-metrics
6m 43s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2441: Pull request #601 synchronize by MavenRain
7m 8s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
7m 8s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2440: Pull request #601 synchronize by MavenRain
7m 7s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
7m 7s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Build Book #2439: Pull request #602 synchronize by MavenRain
7m 8s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
7m 8s
Verify the safety of slice functions (challenge #17) Build Book #2438: Pull request #603 synchronize by MavenRain
6m 57s MavenRain:17-slice
MavenRain:17-slice
6m 57s
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