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
Nightly: CBMC Latest Nightly: CBMC Latest #1220: Scheduled
21m 47s main
main
21m 47s
Nightly: Slow tests Nightly: Slow tests #1331: Scheduled
13m 31s main
main
13m 31s
Attempt toolchain update Attempt toolchain update #1304: Scheduled
1m 41s main
main
1m 41s
submodules in /. - Update #1347782365 Dependabot Updates #220: by dependabot Bot
45s main
main
45s
github_actions in /. - Update #1347781561 Dependabot Updates #219: by dependabot Bot
56s main
main
56s
Scheduled CodeQL #987: by github-advanced-security AI
15m 21s main
main
15m 21s
pages build and deployment pages-build-deployment #2139: by github-pages Bot
34s gh-pages
gh-pages
34s
Push on gh-pages CodeQL #986: by github-actions Bot
3m 1s gh-pages
gh-pages
3m 1s
Automatic cargo update to 2026-05-04 (#4595) Release Bundle #6107: Commit 3686457 pushed by github-merge-queue Bot
16m 10s main
main
16m 10s
Automatic cargo update to 2026-05-04 (#4595) Kani Compiler Performance Benchmarks #300: Commit 3686457 pushed by github-merge-queue Bot
45m 34s main
main
45m 34s
Automatic cargo update to 2026-05-04 (#4595) Cargo Deny #4847: Commit 3686457 pushed by github-merge-queue Bot
44s main
main
44s
Automatic cargo update to 2026-05-04 (#4595) Kani End-To-End Performance Benchmarks #300: Commit 3686457 pushed by github-merge-queue Bot
1h 38m 39s main
main
1h 38m 39s
Automatic cargo update to 2026-05-04 (#4595) Kani CI #12823: Commit 3686457 pushed by github-merge-queue Bot
1h 36m 32s main
main
1h 36m 32s
Automatic cargo update to 2026-05-04 (#4595) Kani Format Check #12654: Commit 3686457 pushed by github-merge-queue Bot
3m 11s main
main
3m 11s
Push on main CodeQL #985: by github-merge-queue Bot
18m 16s main
main
18m 16s
Push on gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1 CodeQL #984: by github-merge-queue Bot
17m 46s gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
17m 46s
Kani Extra Kani Extra #5030: Merge group checks requested
17s
17s
Release Bundle Release Bundle #6106: Merge group checks requested
16m 8s
16m 8s
Automatic cargo update to 2026-05-04 (#4595) Kani Format Check #12653: Commit 3686457 pushed by github-merge-queue Bot
2m 49s gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
2m 49s
Kani CI Kani CI #12822: Merge group checks requested
1h 26m 19s
1h 26m 19s
Cargo Deny Cargo Deny #4846: Merge group checks requested
57s
57s
Kani Format Check Kani Format Check #12652: Merge group checks requested
2m 51s
2m 51s
Automatic cargo update to 2026-05-04 (#4595) Kani CI #12821: Commit 3686457 pushed by github-merge-queue Bot
50m 18s gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
50m 18s
Automatic cargo update to 2026-05-04 (#4595) Cargo Deny #4845: Commit 3686457 pushed by github-merge-queue Bot
43s gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
gh-readonly-queue/main/pr-4595-86273d70e8b4822d126028216aed45aa1106e8f1
43s
Automatic cargo update to 2026-05-04 Release Bundle #6105: Pull request #4595 reopened by feliperodri
18m 35s cargo-update-2026-05-04
cargo-update-2026-05-04
18m 35s