Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,042 workflow runs
1,042 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
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2537: Pull request #582 synchronize by v3risec
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Kani Kani #2536: Merge group checks requested
1h 19m 59s
1h 19m 59s
Update Kani Metrics Kani #2535: Pull request #584 reopened by feliperodri
1h 58m 1s update-kani-metrics
update-kani-metrics
1h 58m 1s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2534: Pull request #582 synchronize by v3risec
2h 27m 16s v3risec:challenge-26-rc
v3risec:challenge-26-rc
2h 27m 16s
Kani Kani #2533: Merge group checks requested
1h 7m 28s
1h 7m 28s
Update Kani Metrics Kani #2532: Pull request #583 reopened by feliperodri
1h 27m 5s update-kani-metrics
update-kani-metrics
1h 27m 5s
Challenge 12: Verify safety of NonZero Kani #2529: Pull request #565 synchronize by Samuelsills
1h 20m 0s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
1h 20m 0s
Challenge 12: Verify safety of NonZero Kani #2528: Pull request #565 synchronize by Samuelsills
6h 5m 5s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6h 5m 5s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2527: Pull request #582 opened by v3risec
1h 26m 11s v3risec:challenge-26-rc
v3risec:challenge-26-rc
1h 26m 11s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Kani #2526: Pull request #543 synchronize by jrey8343
1h 9m 25s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
1h 9m 25s
Verify safety of str iter functions (Challenge 22) Kani #2525: Pull request #557 synchronize by jrey8343
1h 8m 15s jrey8343:challenge-22-str-iter
jrey8343:challenge-22-str-iter
1h 8m 15s
Verify memory safety of String functions (Challenge 10) Kani #2524: Pull request #558 synchronize by jrey8343
6h 5m 4s jrey8343:challenge-10-string
jrey8343:challenge-10-string
6h 5m 4s
Verify safety of char-related Searcher methods (Challenge 20) Kani #2523: Pull request #537 synchronize by jrey8343
1h 11m 1s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
1h 11m 1s
Verify safety of StrSearcher (Challenge 21) Kani #2522: Pull request #538 synchronize by jrey8343
1h 6m 41s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
1h 6m 41s
Verify safety of NonZero operations (Challenge 12) Kani #2521: Pull request #544 synchronize by jrey8343
6h 5m 4s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
6h 5m 4s
Challenge 12: Verify safety of NonZero Kani #2520: Pull request #565 synchronize by Samuelsills
6h 5m 6s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6h 5m 6s
Challenge 12: Verify safety of NonZero Kani #2519: Pull request #565 synchronize by Samuelsills
6h 5m 6s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6h 5m 6s
Challenge 12: Verify safety of NonZero Kani #2518: Pull request #565 synchronize by Samuelsills
6h 5m 6s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6h 5m 6s
Challenge 22: Verify safety of str iter functions Kani #2517: Pull request #572 synchronize by Samuelsills
1h 30m 9s Samuelsills:challenge-22-str-iter
Samuelsills:challenge-22-str-iter
1h 30m 9s
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