Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,046 workflow runs
1,046 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
Kani Kani #2516: Merge group checks requested
1h 21m 9s
1h 21m 9s
Add GitHub Copilot code review instructions Kani #2515: Pull request #581 opened by feliperodri
1h 8m 34s feliperodri:review-guidelines
feliperodri:review-guidelines
1h 8m 34s
Challenge 22: Verify safety of str iter functions Kani #2514: Pull request #572 synchronize by Samuelsills
1h 24m 50s Samuelsills:challenge-22-str-iter
Samuelsills:challenge-22-str-iter
1h 24m 50s
Add GitHub Copilot code review instructions Kani #2513: Pull request #580 opened by feliperodri
1h 7m 26s review-guidelines
review-guidelines
1h 7m 26s
Verify safety of iterator adapter functions (Challenge 16) Kani #2512: Pull request #549 synchronize by kasimte
1h 16m 22s kasimte:challenge-16
kasimte:challenge-16
1h 16m 22s
Verify safety of iterator adapter functions (Challenge 16) Kani #2511: Pull request #549 synchronize by kasimte
1h 28m 44s kasimte:challenge-16
kasimte:challenge-16
1h 28m 44s
Kani Kani #2510: Merge group checks requested
1h 19m 17s
1h 19m 17s
Update Kani Metrics Kani #2509: Pull request #579 reopened by feliperodri
1h 10m 30s update-kani-metrics
update-kani-metrics
1h 10m 30s
Challenge 7: Verify safety of Atomic from_ptr methods Kani #2508: Pull request #578 synchronize by Samuelsills
1h 14m 32s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
1h 14m 32s
Challenge 7: Verify safety of Atomic from_ptr methods Kani #2507: Pull request #578 synchronize by Samuelsills
5m 42s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
5m 42s
Challenge 7: Verify safety of Atomic from_ptr methods Kani #2506: Pull request #578 synchronize by Samuelsills
1h 16m 57s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
1h 16m 57s
Challenge 7: Verify safety of Atomic from_ptr methods Kani #2505: Pull request #578 synchronize by Samuelsills
1h 4m 32s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
1h 4m 32s
Challenge 7: Verify safety of Atomic from_ptr methods Kani #2504: Pull request #578 synchronize by Samuelsills
1h 10m 33s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
1h 10m 33s
Challenge 7: Verify safety of Atomic from_ptr methods Kani #2503: Pull request #578 opened by Samuelsills
1h 8m 27s Samuelsills:challenge-7-atomic
Samuelsills:challenge-7-atomic
1h 8m 27s
Challenge 4: Verify memory safety of BTreeMap node module Kani #2502: Pull request #577 synchronize by Samuelsills
1h 23m 5s Samuelsills:challenge-4-btree
Samuelsills:challenge-4-btree
1h 23m 5s
Challenge 4: Verify memory safety of BTreeMap node module Kani #2501: Pull request #577 opened by Samuelsills
1h 8m 5s Samuelsills:challenge-4-btree
Samuelsills:challenge-4-btree
1h 8m 5s
Challenge 8: Verify safety and sorting correctness of SmallSort Kani #2500: Pull request #576 synchronize by Samuelsills
1h 2m 57s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
1h 2m 57s
Challenge 8: Verify safety and sorting correctness of SmallSort Kani #2499: Pull request #576 synchronize by Samuelsills
1h 11m 9s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
1h 11m 9s
Challenge 8: Verify safety and sorting correctness of SmallSort Kani #2498: Pull request #576 synchronize by Samuelsills
1h 8m 18s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
1h 8m 18s
Challenge 8: Verify safety and sorting correctness of SmallSort Kani #2497: Pull request #576 synchronize by Samuelsills
1h 10m 55s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
1h 10m 55s
Challenge 8: Verify safety and sorting correctness of SmallSort Kani #2496: Pull request #576 opened by Samuelsills
1h 12m 0s Samuelsills:challenge-8-smallsort
Samuelsills:challenge-8-smallsort
1h 12m 0s
Challenge 27: Verify safety of Arc functions Kani #2495: Pull request #575 synchronize by Samuelsills
1h 6m 29s Samuelsills:challenge-27-arc
Samuelsills:challenge-27-arc
1h 6m 29s
Challenge 27: Verify safety of Arc functions Kani #2494: Pull request #575 opened by Samuelsills
1h 19m 6s Samuelsills:challenge-27-arc
Samuelsills:challenge-27-arc
1h 19m 6s
Challenge 26: Verify safety of Rc functions Kani #2493: Pull request #574 synchronize by Samuelsills
1h 5m 56s Samuelsills:challenge-26-rc
Samuelsills:challenge-26-rc
1h 5m 56s
Challenge 26: Verify safety of Rc functions Kani #2492: Pull request #574 opened by Samuelsills
1h 5m 58s Samuelsills:challenge-26-rc
Samuelsills:challenge-26-rc
1h 5m 58s