Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
678 workflow runs
678 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
Attribute cfg(kani) harnesses to their crate in log_parser Build Book #2466: Pull request #609 opened by MavenRain
6m 46s MavenRain:463-crate-from-file-path
MavenRain:463-crate-from-file-path
6m 46s
New challenge: Progress Public MIR Build Book #2465: Pull request #592 synchronize by palinatolmach
5m 53s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
5m 53s
New challenge: Progress Public MIR Build Book #2464: Pull request #592 synchronize by palinatolmach
6m 50s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
6m 50s
New challenge: Progress Public MIR Build Book #2463: Pull request #592 synchronize by palinatolmach
6m 58s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
6m 58s
New Challenge: Enrich MIR Consts Build Book #2462: Pull request #595 synchronize by palinatolmach
6m 47s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
6m 47s
New Challenge: Enrich MIR Consts Build Book #2461: Pull request #595 synchronize by palinatolmach
6m 43s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
6m 43s
New challenge: Progress Public MIR Build Book #2460: Pull request #592 synchronize by palinatolmach
6m 20s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
6m 20s
Build Book Build Book #2459: Merge group checks requested
7m 5s
7m 5s
Update Kani Metrics Build Book #2458: Pull request #607 synchronize by github-actions Bot
7m 8s update-kani-metrics
update-kani-metrics
7m 8s
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