Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19,934 workflow runs
19,934 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: Slow tests Nightly: Slow tests #1229: Scheduled
9m 50s main
main
9m 50s
Attempt toolchain update Attempt toolchain update #1202: Scheduled
2m 39s main
main
2m 39s
Nightly: CBMC Latest Nightly: CBMC Latest #1117: Scheduled
1h 13m 59s main
main
1h 13m 59s
Nightly: Slow tests Nightly: Slow tests #1228: Scheduled
13m 3s main
main
13m 3s
Attempt toolchain update Attempt toolchain update #1201: Scheduled
2m 45s main
main
2m 45s
Nightly: CBMC Latest Nightly: CBMC Latest #1116: Scheduled
1h 26m 8s main
main
1h 26m 8s
Nightly: Slow tests Nightly: Slow tests #1227: Scheduled
10m 30s main
main
10m 30s
Attempt toolchain update Attempt toolchain update #1200: Scheduled
2m 45s main
main
2m 45s
Nightly: CBMC Latest Nightly: CBMC Latest #1115: Scheduled
1h 12m 24s main
main
1h 12m 24s
Automatic toolchain upgrade to nightly-2025-12-04 Kani Extra #4818: Pull request #4526 reopened by tautschnig
1h 12m 21s
1h 12m 21s
Automatic toolchain upgrade to nightly-2025-12-04 Release Bundle #5855: Pull request #4526 reopened by tautschnig
16m 31s toolchain-2025-12-04
toolchain-2025-12-04
16m 31s
Automatic toolchain upgrade to nightly-2025-12-04 Check Std Verification #2354: Pull request #4526 reopened by tautschnig
7m 59s toolchain-2025-12-04
toolchain-2025-12-04
7m 59s
Automatic toolchain upgrade to nightly-2025-12-04 Kani CI #12501: Pull request #4526 reopened by tautschnig
1h 0m 19s toolchain-2025-12-04
toolchain-2025-12-04
1h 0m 19s
Automatic toolchain upgrade to nightly-2025-12-04 Cargo Deny #4525: Pull request #4526 reopened by tautschnig
1m 54s toolchain-2025-12-04
toolchain-2025-12-04
1m 54s
Automatic toolchain upgrade to nightly-2025-12-04 Kani Format Check #12332: Pull request #4526 reopened by tautschnig
3m 0s toolchain-2025-12-04
toolchain-2025-12-04
3m 0s
Nightly: Slow tests Nightly: Slow tests #1226: Scheduled
9m 58s main
main
9m 58s
Push on toolchain-2025-12-04 CodeQL #794: by github-actions bot
18m 20s toolchain-2025-12-04
toolchain-2025-12-04
18m 20s
PR #4526 CodeQL #793: by github-actions bot
17m 28s refs/pull/4526/head
refs/pull/4526/head
17m 28s
Attempt toolchain update Attempt toolchain update #1199: Scheduled
30m 30s main
main
30m 30s
pages build and deployment pages-build-deployment #2099: by github-pages bot
23s gh-pages
gh-pages
23s
Push on gh-pages CodeQL #792: by github-actions bot
3m 4s gh-pages
gh-pages
3m 4s
Fixing the bug of moving (instead of cloning) the expression inside `… Cargo Deny #4524: Commit 1e3dc05 pushed by github-merge-queue bot
1m 26s main
main
1m 26s
Fixing the bug of moving (instead of cloning) the expression inside `… Release Bundle #5854: Commit 1e3dc05 pushed by github-merge-queue bot
14m 44s main
main
14m 44s
Fixing the bug of moving (instead of cloning) the expression inside `… Kani End-To-End Performance Benchmarks #260: Commit 1e3dc05 pushed by github-merge-queue bot
1h 41m 31s main
main
1h 41m 31s
Fixing the bug of moving (instead of cloning) the expression inside `… Kani Compiler Performance Benchmarks #260: Commit 1e3dc05 pushed by github-merge-queue bot
40m 36s main
main
40m 36s