Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,079 workflow runs
1,079 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
New Challenge: Enrich MIR Consts Kani #2562: Pull request #595 opened by dkcumming
1h 4m 21s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
1h 4m 21s
Update Kani Metrics Kani #2561: Pull request #593 reopened by tautschnig
1h 4m 0s update-kani-metrics
update-kani-metrics
1h 4m 0s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Kani #2560: Pull request #589 synchronize by v3risec
Action required v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
Action required
Challenge 27: Verify safety of Arc functions Kani #2559: Pull request #575 synchronize by Samuelsills
1h 15m 53s Samuelsills:challenge-27-arc
Samuelsills:challenge-27-arc
1h 15m 53s
Challenge 26: Verify safety of Rc functions Kani #2558: Pull request #574 synchronize by Samuelsills
1h 8m 5s Samuelsills:challenge-26-rc
Samuelsills:challenge-26-rc
1h 8m 5s
Challenge 29: Verify safety of Box functions Kani #2557: Pull request #573 synchronize by Samuelsills
1h 7m 36s Samuelsills:challenge-29-box
Samuelsills:challenge-29-box
1h 7m 36s
New challenge: Progress Public MIR Kani #2556: Pull request #592 opened by dkcumming
1h 13m 7s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
1h 13m 7s
Merge subtree update for toolchain nightly-2025-12-03 Kani #2555: Pull request #590 opened by github-actions Bot
Action required sync-2025-12-03
sync-2025-12-03
Action required
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Kani #2554: Pull request #589 opened by v3risec
1h 21m 54s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
1h 21m 54s
Add kmir tool description and CI workflow Kani #2553: Pull request #310 synchronize by dkcumming
1h 23m 23s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 23m 23s
Add kmir tool description and CI workflow Kani #2552: Pull request #310 synchronize by dkcumming
1h 26m 50s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 26m 50s
Bump rand from 0.8.5 to 0.8.6 in /library/stdarch Kani #2551: Pull request #588 opened by dependabot Bot
1h 22m 25s dependabot/cargo/library/stdarch/rand-0.8.6
dependabot/cargo/library/stdarch/rand-0.8.6
1h 22m 25s
Bump rand from 0.8.5 to 0.8.6 in /library/stdarch Kani #2550: Commit 218b9c0 pushed by dependabot Bot
1h 23m 51s dependabot/cargo/library/stdarch/rand-0.8.6
dependabot/cargo/library/stdarch/rand-0.8.6
1h 23m 51s
Add kmir tool description and CI workflow Kani #2549: Pull request #310 synchronize by dkcumming
1h 52m 39s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 52m 39s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Kani #2548: Pull request #587 opened by v3risec
3h 3m 57s v3risec:challenge-27-arc
v3risec:challenge-27-arc
3h 3m 57s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2547: Pull request #582 synchronize by feliperodri
2h 3m 55s v3risec:challenge-26-rc
v3risec:challenge-26-rc
2h 3m 55s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2546: Pull request #582 synchronize by v3risec
2h 5m 9s v3risec:challenge-26-rc
v3risec:challenge-26-rc
2h 5m 9s
Kani Kani #2545: Merge group checks requested
1h 32m 1s
1h 32m 1s
Update Kani Metrics Kani #2544: Pull request #586 reopened by feliperodri
1h 14m 27s update-kani-metrics
update-kani-metrics
1h 14m 27s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2543: Pull request #582 synchronize by v3risec
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2542: Pull request #582 synchronize by v3risec
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2541: Pull request #582 synchronize by v3risec
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Bump rand from 0.8.5 to 0.9.3 in /library/stdarch Kani #2540: Pull request #585 opened by dependabot Bot
1h 16m 33s dependabot/cargo/library/stdarch/rand-0.9.3
dependabot/cargo/library/stdarch/rand-0.9.3
1h 16m 33s
Bump rand from 0.8.5 to 0.9.3 in /library/stdarch Kani #2539: Commit 2a17229 pushed by dependabot Bot
1h 10m 55s dependabot/cargo/library/stdarch/rand-0.9.3
dependabot/cargo/library/stdarch/rand-0.9.3
1h 10m 55s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2538: Pull request #582 synchronize by v3risec
1h 59m 25s v3risec:challenge-26-rc
v3risec:challenge-26-rc
1h 59m 25s