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

Kani Kani #2339: Merge group checks requested
1h 48m 18s
1h 48m 18s
README.md: Sync rewards Kani #2338: Pull request #515 opened by btj
1h 45m 44s btj:README-sync-rewards
btj:README-sync-rewards
1h 45m 44s
Update Kani Metrics Kani #2337: Pull request #514 reopened by tautschnig
1h 26m 29s update-kani-metrics
update-kani-metrics
1h 26m 29s
Merge subtree update for toolchain nightly-2025-10-09 Kani #2336: Pull request #504 synchronize by feliperodri
1h 18m 11s sync-2025-10-09
sync-2025-10-09
1h 18m 11s
Fix flux to work with 2025-10-09 (#513) Kani #2335: Commit f526099 pushed by feliperodri
2h 4m 51s sync-2025-10-09
sync-2025-10-09
2h 4m 51s
Kani Kani #2334: Merge group checks requested
1h 27m 51s
1h 27m 51s
Update Kani Metrics Kani #2333: Pull request #511 reopened by tautschnig
1h 46m 59s update-kani-metrics
update-kani-metrics
1h 46m 59s
Update Kani Metrics Kani #2332: Pull request #511 reopened by tautschnig
1h 23m 47s update-kani-metrics
update-kani-metrics
1h 23m 47s
Add RAPx tool description and CI workflow Kani #2331: Pull request #491 synchronize by DiuDiu777
1h 25m 9s Artisan-Lab:rapx-verify-std
Artisan-Lab:rapx-verify-std
1h 25m 9s
Clarify documentation of can_dereference with write permissions (#510) Kani #2330: Commit b5775bd pushed by github-merge-queue bot
1h 20m 49s main
main
1h 20m 49s
Clarify documentation of can_dereference with write permissions (#510) Kani #2329: Commit b5775bd pushed by github-merge-queue bot
1h 32m 54s gh-readonly-queue/main/pr-510-78e9eb345ae768b5b8191a5f3deb2c5619542fa1
gh-readonly-queue/main/pr-510-78e9eb345ae768b5b8191a5f3deb2c5619542fa1
1h 32m 54s
Kani Kani #2328: Merge group checks requested
1h 23m 12s
1h 23m 12s
Improve the VeriFast scripts Kani #2327: Pull request #507 synchronize by btj
1h 22m 1s btj:verifast-scripts
btj:verifast-scripts
1h 22m 1s
Add a tour of the RawVec proof Kani #2326: Pull request #481 synchronize by btj
1h 21m 54s btj:rawvec-tour
btj:rawvec-tour
1h 21m 54s
Kani Kani #2325: Merge group checks requested
1h 18m 29s
1h 18m 29s
Clarify documentation of can_dereference with write permissions Kani #2324: Pull request #510 opened by dawidl022
1h 22m 9s dawidl022:docs/can-dereference-has-write-permission
dawidl022:docs/can-dereference-has-write-permission
1h 22m 9s
Update Kani Metrics Kani #2323: Pull request #509 reopened by tautschnig
1h 19m 52s update-kani-metrics
update-kani-metrics
1h 19m 52s
Kani Kani #2322: Merge group checks requested
1h 19m 15s
1h 19m 15s
iter: add kani proof for next_unchecked (#280) Kani #2321: Pull request #501 synchronize by 0xllx0
1h 44m 10s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
1h 44m 10s
Improve the VeriFast scripts Kani #2320: Pull request #507 synchronize by tautschnig
1h 23m 24s btj:verifast-scripts
btj:verifast-scripts
1h 23m 24s
Merge subtree update for toolchain nightly-2025-10-09 Kani #2319: Pull request #504 synchronize by tautschnig
1h 20m 57s sync-2025-10-09
sync-2025-10-09
1h 20m 57s
Improve the VeriFast scripts Kani #2318: Pull request #507 opened by btj
1h 25m 48s btj:verifast-scripts
btj:verifast-scripts
1h 25m 48s
iter: add kani proof for next_unchecked (#280) Kani #2317: Pull request #501 synchronize by 0xllx0
1h 32m 24s 0xllx0:model-checking/iter-next-unchecked
0xllx0:model-checking/iter-next-unchecked
1h 32m 24s
Fixup merge resolution: Add and update rewards to open challenges lacking one Kani #2316: Pull request #502 synchronize by tautschnig
1h 30m 37s tautschnig:add-rewards
tautschnig:add-rewards
1h 30m 37s
Merge subtree update for toolchain nightly-2025-10-09 Kani #2315: Pull request #504 synchronize by tautschnig
1h 31m 43s sync-2025-10-09
sync-2025-10-09
1h 31m 43s