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
additional transmute and transmute_unchecked harnesses Kani #1591: Pull request #264 synchronize by AlexLB99
2h 9m 15s AlexLB99:transmute
AlexLB99:transmute
2h 9m 15s
Merge subtree update for toolchain nightly-2025-04-04 (#318) Kani #1590: Commit 659982c pushed by github-merge-queue Bot
1h 41m 1s main
main
1h 41m 1s
Merge subtree update for toolchain nightly-2025-04-04 (#318) Kani #1589: Commit 659982c pushed by github-merge-queue Bot
1h 57m 30s gh-readonly-queue/main/pr-318-95003273cb9cce80a2ad417c854039101ac1ccf7
gh-readonly-queue/main/pr-318-95003273cb9cce80a2ad417c854039101ac1ccf7
1h 57m 30s
Kani Kani #1588: Merge group checks requested
1h 55m 1s
1h 55m 1s
Add kmir tool description and CI workflow Kani #1587: Pull request #310 synchronize by jberthold
1h 58m 13s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 58m 13s
Merge subtree update for toolchain nightly-2025-04-04 Kani #1586: Pull request #318 synchronize by tautschnig
1h 45m 50s sync-2025-04-04
sync-2025-04-04
1h 45m 50s
Kani Kani #1585: Merge group checks requested
1h 49m 19s
1h 49m 19s
Kani Kani #1584: Merge group checks requested
1h 50m 29s
1h 50m 29s
Merge subtree update for toolchain nightly-2025-04-04 (#318) Kani #1583: Commit c8906f8 pushed by github-merge-queue Bot
2h 3m 2s gh-readonly-queue/main/pr-318-0acfa26c3eb27c16748683be4f555da549855f13
gh-readonly-queue/main/pr-318-0acfa26c3eb27c16748683be4f555da549855f13
2h 3m 2s
Kani Kani #1582: Merge group checks requested
1h 52m 22s
1h 52m 22s
Merge subtree update for toolchain nightly-2025-04-04 Kani #1581: Pull request #318 reopened by carolynzech
1h 52m 31s sync-2025-04-04
sync-2025-04-04
1h 52m 31s
Merge subtree update for toolchain nightly-2025-04-01 (#312) Kani #1580: Commit b327f32 pushed by github-merge-queue Bot
1h 54m 5s main
main
1h 54m 5s
Kani Kani #1579: Merge group checks requested
1h 45m 41s
1h 45m 41s
Merge subtree update for toolchain nightly-2025-04-01 (#312) Kani #1578: Commit b327f32 pushed by github-merge-queue Bot
1h 58m 4s gh-readonly-queue/main/pr-312-9da1baac4f280ce51defb5709d6ada89830518f9
gh-readonly-queue/main/pr-312-9da1baac4f280ce51defb5709d6ada89830518f9
1h 58m 4s
Kani Kani #1577: Merge group checks requested
1h 44m 30s
1h 44m 30s
Update Kani Metrics Kani #1576: Pull request #316 reopened by carolynzech
1h 51m 54s update-kani-metrics
update-kani-metrics
1h 51m 54s
Add kmir tool description and CI workflow Kani #1575: Pull request #310 synchronize by jberthold
2h 2m 22s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
2h 2m 22s
Add kmir tool description and CI workflow Kani #1574: Pull request #310 synchronize by jberthold
2h 4m 11s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
2h 4m 11s
Add kmir tool description and CI workflow Kani #1573: Pull request #310 synchronize by jberthold
1h 52m 1s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 52m 1s
Add Challenge 19: Safety of RawVec Kani #1572: Pull request #314 synchronize by tautschnig
1h 54m 4s thanhnguyen-aws:rawvecchallenge
thanhnguyen-aws:rawvecchallenge
1h 54m 4s
Add Challenge 19: Safety of RawVec Kani #1571: Pull request #314 synchronize by tautschnig
1h 56m 36s thanhnguyen-aws:rawvecchallenge
thanhnguyen-aws:rawvecchallenge
1h 56m 36s
Add Challenges 20 21 22 for str Pattern and iter Kani #1570: Pull request #266 synchronize by tautschnig
2h 20m 43s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
2h 20m 43s
Add Challenges 20 21 22 for str Pattern and iter Kani #1569: Pull request #266 synchronize by tautschnig
1h 56m 42s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
1h 56m 42s
Add Challenges 20 21 22 for str Pattern and iter Kani #1568: Pull request #266 synchronize by tautschnig
1h 51m 54s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
1h 51m 54s
Sync the VeriFast proofs and provide guidance on same Kani #1567: Pull request #313 synchronize by btj
2h 6m 30s btj:patch-verifast-proofs
btj:patch-verifast-proofs
2h 6m 30s
ProTip! You can narrow down the results and go further in time using created:<2025-04-04 or the other filters available.