Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22,685 workflow runs
22,685 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: Slow tests Nightly: Slow tests #1154: Scheduled
11m 24s main
main
11m 24s
Push on toolchain-2025-11-09 CodeQL #583: by github-actions bot
18m 8s toolchain-2025-11-09
toolchain-2025-11-09
18m 8s
PR #4457 CodeQL #582: by github-actions bot
17m 40s refs/pull/4457/head
refs/pull/4457/head
17m 40s
Attempt toolchain update Attempt toolchain update #1122: Scheduled
31m 11s main
main
31m 11s
pages build and deployment pages-build-deployment #2050: by github-pages bot
26s gh-pages
gh-pages
26s
Push on gh-pages CodeQL #581: by github-actions bot
3m 5s gh-pages
gh-pages
3m 5s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Kani Compiler Performance Benchmarks #211: Commit 12204dc pushed by github-merge-queue bot
40m 52s main
main
40m 52s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Kani CI #12232: Commit 12204dc pushed by github-merge-queue bot
1h 14m 51s main
main
1h 14m 51s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Cargo Deny #4256: Commit 12204dc pushed by github-merge-queue bot
1m 33s main
main
1m 33s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Kani Format Check #12063: Commit 12204dc pushed by github-merge-queue bot
3m 18s main
main
3m 18s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Kani End-To-End Performance Benchmarks #211: Commit 12204dc pushed by github-merge-queue bot
1h 27m 4s main
main
1h 27m 4s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Release Bundle #5654: Commit 12204dc pushed by github-merge-queue bot
16m 48s main
main
16m 48s
Push on main CodeQL #580: by github-merge-queue bot
18m 30s main
main
18m 30s
Push on gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165 CodeQL #579: by github-merge-queue bot
17m 53s gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
17m 53s
Kani CI Kani CI #12231: Merge group checks requested
1h 42m 46s
1h 42m 46s
Kani Extra Kani Extra #4665: Merge group checks requested
10s
10s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Kani CI #12230: Commit 12204dc pushed by github-merge-queue bot
1h 5m 45s gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
1h 5m 45s
Release Bundle Release Bundle #5653: Merge group checks requested
17m 42s
17m 42s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Kani Format Check #12062: Commit 12204dc pushed by github-merge-queue bot
3m 2s gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
3m 2s
Kani Format Check Kani Format Check #12061: Merge group checks requested
3m 4s
3m 4s
Cargo Deny Cargo Deny #4255: Merge group checks requested
1m 50s
1m 50s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Cargo Deny #4254: Commit 12204dc pushed by github-merge-queue bot
1m 45s gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
gh-readonly-queue/main/pr-4456-24bc1fc416916e1c019d3e13723eb37de9ba0165
1m 45s
Nightly: CBMC Latest Nightly: CBMC Latest #1042: Scheduled
1h 24m 56s main
main
1h 24m 56s
Automatic toolchain upgrade to nightly-2025-11-08 Kani Extra #4664: Pull request #4456 reopened by tautschnig
1h 26m 43s
1h 26m 43s
Automatic toolchain upgrade to nightly-2025-11-08 Check Std Verification #2256: Pull request #4456 reopened by tautschnig
12m 7s toolchain-2025-11-08
toolchain-2025-11-08
12m 7s