Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Scheduled CodeQL #1741: by github-advanced-security AI
32m 34s main
main
32m 34s
Reject const generic arguments in contract target paths instead of panicking Kani Benchmarks #668: Pull request #4999 opened by kasimte
Action required kasimte:fix-const-generic-contract-path
kasimte:fix-const-generic-contract-path
Action required
Reject const generic arguments in contract target paths instead of panicking Kani CI #14217: Pull request #4999 opened by kasimte
Action required kasimte:fix-const-generic-contract-path
kasimte:fix-const-generic-contract-path
Action required
Reject const generic arguments in contract target paths instead of panicking Kani Format Check #14045: Pull request #4999 opened by kasimte
Action required kasimte:fix-const-generic-contract-path
kasimte:fix-const-generic-contract-path
Action required
Reject const generic arguments in contract target paths instead of panicking Check Std Verification #3211: Pull request #4999 opened by kasimte
Action required kasimte:fix-const-generic-contract-path
kasimte:fix-const-generic-contract-path
Action required
Reject const generic arguments in contract target paths instead of panicking Release Bundle #7238: Pull request #4999 opened by kasimte
Action required kasimte:fix-const-generic-contract-path
kasimte:fix-const-generic-contract-path
Action required
Reject const generic arguments in contract target paths instead of panicking Cargo Deny #6236: Pull request #4999 opened by kasimte
Action required kasimte:fix-const-generic-contract-path
kasimte:fix-const-generic-contract-path
Action required
Reject const generic arguments in contract target paths instead of panicking Kani Extra #5939: Pull request #4999 opened by kasimte
1m 19s
1m 19s
Nightly: CBMC Latest Nightly: CBMC Latest #1380: Scheduled
1h 58m 59s main
main
1h 58m 59s
Push on gh-pages CodeQL #1740: by github-actions Bot
3m 2s gh-pages
gh-pages
3m 2s
pages build and deployment pages-build-deployment #2333: by github-pages Bot
28s gh-pages
gh-pages
28s
Automatic cargo update to 2026-10-12 (#4997) Kani CI #14216: Commit a52785a pushed by github-merge-queue Bot
2h 26m 15s main
main
2h 26m 15s
Automatic cargo update to 2026-10-12 (#4997) Kani Compiler Performance Benchmarks #494: Commit a52785a pushed by github-merge-queue Bot
32m 48s main
main
32m 48s
Automatic cargo update to 2026-10-12 (#4997) Cargo Deny #6235: Commit a52785a pushed by github-merge-queue Bot
50s main
main
50s
Automatic cargo update to 2026-10-12 (#4997) Release Bundle #7237: Commit a52785a pushed by github-merge-queue Bot
36m 48s main
main
36m 48s
Automatic cargo update to 2026-10-12 (#4997) Kani End-To-End Performance Benchmarks #495: Commit a52785a pushed by github-merge-queue Bot
1h 37m 47s main
main
1h 37m 47s
Automatic cargo update to 2026-10-12 (#4997) Kani Format Check #14044: Commit a52785a pushed by github-merge-queue Bot
2m 39s main
main
2m 39s
Push on main CodeQL #1739: by github-merge-queue Bot
17m 13s main
main
17m 13s
Push on gh-readonly-queue/main/pr-4997-060a1c2c9f87ba9bc7f6f9af0a6924ba748fea69 CodeQL #1738: by github-merge-queue Bot
16m 10s gh-readonly-queue/main/pr-4997-060a1c2c9f87ba9bc7f6f9af0a6924ba748fea69
gh-readonly-queue/main/pr-4997-060a1c2c9f87ba9bc7f6f9af0a6924ba748fea69
16m 10s
Kani Extra Kani Extra #5938: Merge group checks requested
10s
10s
Release Bundle Release Bundle #7236: Merge group checks requested
44m 59s
44m 59s
Automatic cargo update to 2026-10-12 (#4997) Kani Format Check #14043: Commit a52785a pushed by github-merge-queue Bot
2m 8s gh-readonly-queue/main/pr-4997-060a1c2c9f87ba9bc7f6f9af0a6924ba748fea69
gh-readonly-queue/main/pr-4997-060a1c2c9f87ba9bc7f6f9af0a6924ba748fea69
2m 8s
Automatic cargo update to 2026-10-12 (#4997) Kani CI #14215: Commit a52785a pushed by github-merge-queue Bot
1h 44m 35s gh-readonly-queue/main/pr-4997-060a1c2c9f87ba9bc7f6f9af0a6924ba748fea69
gh-readonly-queue/main/pr-4997-060a1c2c9f87ba9bc7f6f9af0a6924ba748fea69
1h 44m 35s
Kani CI Kani CI #14214: Merge group checks requested
1h 21m 51s
1h 21m 51s
Kani Format Check Kani Format Check #14042: Merge group checks requested
2m 36s
2m 36s