Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18,718 workflow runs
18,718 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Attempt toolchain update Attempt toolchain update #1259: Scheduled
2m 3s main
main
2m 3s
Nightly: CBMC Latest Nightly: CBMC Latest #1174: Scheduled
20m 54s main
main
20m 54s
Nightly: Slow tests Nightly: Slow tests #1285: Scheduled
11m 4s main
main
11m 4s
Attempt toolchain update Attempt toolchain update #1258: Scheduled
2m 3s main
main
2m 3s
Nightly: CBMC Latest Nightly: CBMC Latest #1173: Scheduled
40m 51s main
main
40m 51s
Nightly: Slow tests Nightly: Slow tests #1284: Scheduled
9m 49s main
main
9m 49s
Attempt toolchain update Attempt toolchain update #1257: Scheduled
2m 12s main
main
2m 12s
Nightly: CBMC Latest Nightly: CBMC Latest #1172: Scheduled
41m 32s main
main
41m 32s
Nightly: Slow tests Nightly: Slow tests #1283: Scheduled
12m 0s main
main
12m 0s
Attempt toolchain update Attempt toolchain update #1256: Scheduled
2m 6s main
main
2m 6s
Nightly: CBMC Latest Nightly: CBMC Latest #1171: Scheduled
40m 43s main
main
40m 43s
Nightly: Slow tests Nightly: Slow tests #1282: Scheduled
11m 48s main
main
11m 48s
Attempt toolchain update Attempt toolchain update #1255: Scheduled
2m 24s main
main
2m 24s
pages build and deployment pages-build-deployment #2121: by github-pages bot
27s gh-pages
gh-pages
27s
Push on gh-pages CodeQL #898: by github-actions bot
3m 15s gh-pages
gh-pages
3m 15s
Automatic cargo update to 2026-03-16 (#4561) Release Bundle #5958: Commit 4c8e1ad pushed by github-merge-queue bot
44m 52s main
main
44m 52s
Automatic cargo update to 2026-03-16 (#4561) Kani CI #12644: Commit 4c8e1ad pushed by github-merge-queue bot
1h 30m 3s main
main
1h 30m 3s
Automatic cargo update to 2026-03-16 (#4561) Kani Compiler Performance Benchmarks #282: Commit 4c8e1ad pushed by github-merge-queue bot
41m 26s main
main
41m 26s
Automatic cargo update to 2026-03-16 (#4561) Kani End-To-End Performance Benchmarks #282: Commit 4c8e1ad pushed by github-merge-queue bot
1h 31m 48s main
main
1h 31m 48s
Automatic cargo update to 2026-03-16 (#4561) Kani Format Check #12475: Commit 4c8e1ad pushed by github-merge-queue bot
2m 49s main
main
2m 49s
Automatic cargo update to 2026-03-16 (#4561) Cargo Deny #4668: Commit 4c8e1ad pushed by github-merge-queue bot
1m 44s main
main
1m 44s
Push on main CodeQL #897: by github-merge-queue bot
18m 46s main
main
18m 46s
Scheduled CodeQL #896: by github-advanced-security bot
18m 12s main
main
18m 12s
Push on gh-readonly-queue/main/pr-4561-d1abc2cf96a44244dbfcdfd37bd2707288b553e8 CodeQL #895: by github-merge-queue bot
17m 55s gh-readonly-queue/main/pr-4561-d1abc2cf96a44244dbfcdfd37bd2707288b553e8
gh-readonly-queue/main/pr-4561-d1abc2cf96a44244dbfcdfd37bd2707288b553e8
17m 55s
Kani Extra Kani Extra #4899: Merge group checks requested
10s
10s