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
Attempt toolchain update Attempt toolchain update #1335: Scheduled
2m 30s main
main
2m 30s
Nightly: CBMC Latest Nightly: CBMC Latest #1250: Scheduled
21m 45s main
main
21m 45s
Nightly: Slow tests Nightly: Slow tests #1361: Scheduled
13m 45s main
main
13m 45s
Attempt toolchain update Attempt toolchain update #1334: Scheduled
1m 46s main
main
1m 46s
Nightly: CBMC Latest Nightly: CBMC Latest #1249: Scheduled
21m 27s main
main
21m 27s
Nightly: Slow tests Nightly: Slow tests #1360: Scheduled
12m 57s main
main
12m 57s
Push on gh-pages CodeQL #1017: by github-actions Bot
1m 43s gh-pages
gh-pages
1m 43s
pages build and deployment pages-build-deployment #2145: by github-pages Bot
27s gh-pages
gh-pages
27s
Automatic cargo update to 2026-06-01 (#4604) Kani End-To-End Performance Benchmarks #306: Commit 4c0fce8 pushed by github-merge-queue Bot
1h 28m 59s main
main
1h 28m 59s
Automatic cargo update to 2026-06-01 (#4604) Cargo Deny #4884: Commit 4c0fce8 pushed by github-merge-queue Bot
49s main
main
49s
Automatic cargo update to 2026-06-01 (#4604) Kani Compiler Performance Benchmarks #306: Commit 4c0fce8 pushed by github-merge-queue Bot
42m 5s main
main
42m 5s
Automatic cargo update to 2026-06-01 (#4604) Kani Format Check #12691: Commit 4c0fce8 pushed by github-merge-queue Bot
2m 46s main
main
2m 46s
Automatic cargo update to 2026-06-01 (#4604) Kani CI #12860: Commit 4c0fce8 pushed by github-merge-queue Bot
1h 15m 11s main
main
1h 15m 11s
Automatic cargo update to 2026-06-01 (#4604) Release Bundle #6136: Commit 4c0fce8 pushed by github-merge-queue Bot
16m 4s main
main
16m 4s
Push on main CodeQL #1016: by github-merge-queue Bot
18m 58s main
main
18m 58s
Push on gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac CodeQL #1015: by github-merge-queue Bot
19m 33s gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
19m 33s
Automatic cargo update to 2026-06-01 (#4604) Cargo Deny #4883: Commit 4c0fce8 pushed by github-merge-queue Bot
42s gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
42s
Cargo Deny Cargo Deny #4882: Merge group checks requested
41s
41s
Kani CI Kani CI #12859: Merge group checks requested
50m 28s
50m 28s
Kani Extra Kani Extra #5053: Merge group checks requested
11s
11s
Automatic cargo update to 2026-06-01 (#4604) Kani CI #12858: Commit 4c0fce8 pushed by github-merge-queue Bot
1h 2m 6s gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
1h 2m 6s
Kani Format Check Kani Format Check #12690: Merge group checks requested
2m 39s
2m 39s
Automatic cargo update to 2026-06-01 (#4604) Kani Format Check #12689: Commit 4c0fce8 pushed by github-merge-queue Bot
2m 36s gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
gh-readonly-queue/main/pr-4604-2e6cbd6681f400c478e9b8037f0402b8ef0fa2ac
2m 36s
Release Bundle Release Bundle #6135: Merge group checks requested
16m 40s
16m 40s
pages build and deployment pages-build-deployment #2144: by github-pages Bot
27s gh-pages
gh-pages
27s