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
Automatic toolchain upgrade to nightly-2025-12-05 Check Std Verification #2564: Pull request #4622 reopened by tautschnig
7m 39s toolchain-2025-12-05
toolchain-2025-12-05
7m 39s
Automatic toolchain upgrade to nightly-2025-12-05 Kani Format Check #12743: Pull request #4622 reopened by tautschnig
2m 48s toolchain-2025-12-05
toolchain-2025-12-05
2m 48s
Automatic toolchain upgrade to nightly-2025-12-05 Release Bundle #6177: Pull request #4622 reopened by tautschnig
18m 32s toolchain-2025-12-05
toolchain-2025-12-05
18m 32s
Automatic toolchain upgrade to nightly-2025-12-05 Kani CI #12912: Pull request #4622 reopened by tautschnig
1h 1m 25s toolchain-2025-12-05
toolchain-2025-12-05
1h 1m 25s
Automatic toolchain upgrade to nightly-2025-12-05 Cargo Deny #4936: Pull request #4622 reopened by tautschnig
51s toolchain-2025-12-05
toolchain-2025-12-05
51s
Automatic toolchain upgrade to nightly-2025-12-05 Kani Extra #5083: Pull request #4622 reopened by tautschnig
1h 32m 1s
1h 32m 1s
Automatic toolchain upgrade to nightly-2025-12-05 Kani CI #12911: Pull request #4622 opened by github-actions Bot
1h 5m 33s toolchain-2025-12-05
toolchain-2025-12-05
1h 5m 33s
Automatic toolchain upgrade to nightly-2025-12-05 Release Bundle #6176: Pull request #4622 opened by github-actions Bot
17m 36s toolchain-2025-12-05
toolchain-2025-12-05
17m 36s
Automatic toolchain upgrade to nightly-2025-12-05 Check Std Verification #2563: Pull request #4622 opened by github-actions Bot
6m 42s toolchain-2025-12-05
toolchain-2025-12-05
6m 42s
Automatic toolchain upgrade to nightly-2025-12-05 Kani Format Check #12742: Pull request #4622 opened by github-actions Bot
2m 44s toolchain-2025-12-05
toolchain-2025-12-05
2m 44s
Automatic toolchain upgrade to nightly-2025-12-05 Cargo Deny #4935: Pull request #4622 opened by github-actions Bot
43s toolchain-2025-12-05
toolchain-2025-12-05
43s
Push on toolchain-2025-12-05 CodeQL #1055: by github-actions Bot
18m 8s toolchain-2025-12-05
toolchain-2025-12-05
18m 8s
PR #4622 CodeQL #1054: by github-actions Bot
16m 1s refs/pull/4622/head
refs/pull/4622/head
16m 1s
Attempt toolchain update Attempt toolchain update #1368: Manually run by tautschnig
33m 15s main
main
33m 15s
Update CBMC dependency to 6.10.0 Kani CI #12910: Pull request #4619 synchronize by tautschnig
1h 4m 49s tautschnig:cbmc-update
tautschnig:cbmc-update
1h 4m 49s
Update CBMC dependency to 6.10.0 Release Bundle #6175: Pull request #4619 synchronize by tautschnig
15m 49s tautschnig:cbmc-update
tautschnig:cbmc-update
15m 49s
Update CBMC dependency to 6.10.0 Check Std Verification #2562: Pull request #4619 synchronize by tautschnig
4m 27s tautschnig:cbmc-update
tautschnig:cbmc-update
4m 27s
Update CBMC dependency to 6.10.0 Cargo Deny #4934: Pull request #4619 synchronize by tautschnig
52s tautschnig:cbmc-update
tautschnig:cbmc-update
52s
Update CBMC dependency to 6.10.0 Kani Format Check #12741: Pull request #4619 synchronize by tautschnig
2m 48s tautschnig:cbmc-update
tautschnig:cbmc-update
2m 48s
Update CBMC dependency to 6.10.0 Kani Extra #5082: Pull request #4619 synchronize by tautschnig
1h 33m 15s
1h 33m 15s
Push on gh-pages CodeQL #1053: by github-actions Bot
1m 37s gh-pages
gh-pages
1m 37s
pages build and deployment pages-build-deployment #2151: by github-pages Bot
29s gh-pages
gh-pages
29s
Upgrade Rust toolchain to nightly-2025-12-04 (#4597) Kani Compiler Performance Benchmarks #312: Commit a95fe3f pushed by github-merge-queue Bot
41m 43s main
main
41m 43s
Upgrade Rust toolchain to nightly-2025-12-04 (#4597) Kani CI #12909: Commit a95fe3f pushed by github-merge-queue Bot
1h 15m 5s main
main
1h 15m 5s
Upgrade Rust toolchain to nightly-2025-12-04 (#4597) Cargo Deny #4933: Commit a95fe3f pushed by github-merge-queue Bot
43s main
main
43s