Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,182 workflow runs
1,182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2531: Pull request #582 synchronize by MinghuaWang
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Kani #2530: Pull request #582 synchronize by MinghuaWang
Action required v3risec:challenge-26-rc
v3risec:challenge-26-rc
Action required
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
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