Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kani Kani #2303: Merge group checks requested
1h 21m 46s
1h 21m 46s
Remove spurious comments about the need for quantifiers (#457) Kani #2302: Commit 6be9ca4 pushed by github-merge-queue bot
1h 41m 21s main
main
1h 41m 21s
Kani Kani #2301: Merge group checks requested
1h 31m 15s
1h 31m 15s
Remove spurious comments about the need for quantifiers (#457) Kani #2300: Commit 6be9ca4 pushed by github-merge-queue bot
1h 33m 8s gh-readonly-queue/main/pr-457-53e9e1b08363d315c246e14e5f9988466c0d2683
gh-readonly-queue/main/pr-457-53e9e1b08363d315c246e14e5f9988466c0d2683
1h 33m 8s
Kani Kani #2299: Merge group checks requested
1h 37m 0s
1h 37m 0s
Merge subtree update for toolchain nightly-2025-09-09 Kani #2298: Pull request #488 synchronize by feliperodri
1h 27m 51s sync-2025-09-09
sync-2025-09-09
1h 27m 51s
Update README.md now that Challenge 1 is resolved Kani #2297: Pull request #486 synchronize by feliperodri
1h 32m 54s tautschnig:update-readme-challenge-1
tautschnig:update-readme-challenge-1
1h 32m 54s
LLM-generated contracts Kani #2296: Pull request #473 synchronize by feliperodri
1h 34m 12s vonaka:llm_contracts_ty_invariants
vonaka:llm_contracts_ty_invariants
1h 34m 12s
Remove spurious comments about the need for quantifiers Kani #2295: Pull request #457 synchronize by feliperodri
1h 26m 0s tautschnig:use-quantifiers
tautschnig:use-quantifiers
1h 26m 0s
Add loop invariants and harnesses for DecimalSeq functions Kani #2294: Pull request #439 synchronize by feliperodri
1h 13m 27s thanhnguyen-aws:decseqinvariant
thanhnguyen-aws:decseqinvariant
1h 13m 27s
Add loop_invariant and harness for array reverse Kani #2293: Pull request #430 synchronize by feliperodri
1h 15m 30s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
1h 15m 30s
add unsafe-finder tool Kani #2292: Pull request #369 synchronize by feliperodri
1h 35m 46s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
1h 35m 46s
Add and update rewards to open challenges lacking one Kani #2291: Pull request #459 synchronize by feliperodri
1h 21m 22s tautschnig:add-rewards
tautschnig:add-rewards
1h 21m 22s
Add and update rewards to open challenges lacking one Kani #2290: Pull request #459 synchronize by feliperodri
1h 17m 26s tautschnig:add-rewards
tautschnig:add-rewards
1h 17m 26s
Add and update rewards to open challenges lacking one Kani #2289: Pull request #459 synchronize by feliperodri
1h 13m 30s tautschnig:add-rewards
tautschnig:add-rewards
1h 13m 30s
iter: add kani proof for next_unchecked (#280) Kani #2288: Pull request #501 opened by 0xllx0
1h 28m 52s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
1h 28m 52s
Kani Kani #2287: Merge group checks requested
1h 21m 19s
1h 21m 19s
Update Kani Metrics Kani #2286: Pull request #497 reopened by tautschnig
1h 25m 50s update-kani-metrics
update-kani-metrics
1h 25m 50s
Kani Kani #2285: Merge group checks requested
1h 13m 0s
1h 13m 0s
Update Kani Metrics Kani #2284: Pull request #496 reopened by tautschnig
1h 18m 44s update-kani-metrics
update-kani-metrics
1h 18m 44s
Add loop invariant and harness for repeat Kani #2283: Pull request #468 synchronize by thanhnguyen-aws
6h 0m 22s thanhnguyen-aws:repeatinvariant
thanhnguyen-aws:repeatinvariant
6h 0m 22s
add unsafe-finder tool Kani #2282: Pull request #369 synchronize by patricklam
1h 42m 49s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
1h 42m 49s
add unsafe-finder tool Kani #2281: Pull request #369 synchronize by patricklam
1h 19m 43s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
1h 19m 43s
add unsafe-finder tool Kani #2280: Pull request #369 synchronize by patricklam
1h 7m 14s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
1h 7m 14s
Kani Kani #2279: Merge group checks requested
1h 29m 9s
1h 29m 9s