Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge subtree update for toolchain nightly-2025-09-09 Kani #2264: Pull request #488 synchronize by tautschnig
1h 10m 8s sync-2025-09-09
sync-2025-09-09
1h 10m 8s
Resolve conflict Kani #2263: Commit 70f1ebf pushed by tautschnig
1h 11m 5s sync-2025-09-09
sync-2025-09-09
1h 11m 5s
Merge subtree update for toolchain nightly-2025-09-09 Kani #2262: Pull request #488 reopened by tautschnig
8m 18s sync-2025-09-09
sync-2025-09-09
8m 18s
Testable Models for SIMD Intrinsics Kani #2261: Pull request #423 synchronize by maximebuyse
1h 32m 53s cryspen:main
cryspen:main
1h 32m 53s
Testable Models for SIMD Intrinsics Kani #2260: Pull request #423 synchronize by karthikbhargavan
11m 15s cryspen:main
cryspen:main
11m 15s
Add Flux specifications to path/bstr/hash/time (#438) Kani #2259: Commit 398ff24 pushed by github-merge-queue bot
1h 22m 45s main
main
1h 22m 45s
Add Flux specifications to path/bstr/hash/time (#438) Kani #2258: Commit 398ff24 pushed by github-merge-queue bot
1h 6m 29s gh-readonly-queue/main/pr-438-88422c87813e7fdae5959d197da113472454b968
gh-readonly-queue/main/pr-438-88422c87813e7fdae5959d197da113472454b968
1h 6m 29s
Kani Kani #2257: Merge group checks requested
1h 12m 28s
1h 12m 28s
Add Flux specifications to path/bstr/hash/time Kani #2256: Pull request #438 synchronize by nilehmann
1h 36m 44s flux-rs:verify-time-rs
flux-rs:verify-time-rs
1h 36m 44s
Update README.md now that Challenge 1 is resolved Kani #2255: Pull request #486 opened by tautschnig
1h 6m 14s tautschnig:update-readme-challenge-1
tautschnig:update-readme-challenge-1
1h 6m 14s
Show contest status in repo README (#482) Kani #2254: Commit 88422c8 pushed by github-merge-queue bot
1h 16m 57s main
main
1h 16m 57s
Challenge 1 status update (#433) Kani #2253: Commit 047eac5 pushed by github-merge-queue bot
1h 16m 43s main
main
1h 16m 43s
Kani Kani #2252: Merge group checks requested
1h 23m 41s
1h 23m 41s
Merge subtree update for toolchain nightly-2025-08-26 (#480) Kani #2251: Commit 13a59e3 pushed by github-merge-queue bot
1h 21m 39s gh-readonly-queue/main/pr-480-047eac5e54a487bc40efe095dae4aff08b63d4da
gh-readonly-queue/main/pr-480-047eac5e54a487bc40efe095dae4aff08b63d4da
1h 21m 39s
Kani Kani #2250: Merge group checks requested
1h 36m 20s
1h 36m 20s
Kani Kani #2249: Merge group checks requested
1h 12m 25s
1h 12m 25s
Workaround sporadic git submodule failure (#484) Kani #2248: Commit 4761a01 pushed by github-merge-queue bot
1h 18m 10s gh-readonly-queue/main/pr-484-3675c7b5d65d80e49b0327a46a912144b4492754
gh-readonly-queue/main/pr-484-3675c7b5d65d80e49b0327a46a912144b4492754
1h 18m 10s
Kani Kani #2247: Merge group checks requested
1h 21m 4s
1h 21m 4s
Kani Kani #2246: Merge group checks requested
1h 8m 44s
1h 8m 44s
Workaround sporadic git submodule failure Kani #2245: Pull request #484 synchronize by tautschnig
1h 31m 59s tautschnig:workaround-lfs-error
tautschnig:workaround-lfs-error
1h 31m 59s
Workaround sporadic git submodule failure Kani #2244: Pull request #484 opened by tautschnig
8m 38s tautschnig:workaround-lfs-error
tautschnig:workaround-lfs-error
8m 38s
Kani Kani #2243: Merge group checks requested
1h 15m 59s
1h 15m 59s
Merge subtree update for toolchain nightly-2025-08-26 Kani #2242: Pull request #480 synchronize by tautschnig
1h 18m 34s sync-2025-08-26
sync-2025-08-26
1h 18m 34s
Merge subtree update for toolchain nightly-2025-08-26 Kani #2241: Pull request #480 reopened by tautschnig
1h 27m 52s sync-2025-08-26
sync-2025-08-26
1h 27m 52s
Kani Kani #2240: Merge group checks requested
57m 58s
57m 58s