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: Slow tests Nightly: Slow tests #1390: Scheduled
19m 58s main
main
19m 58s
Attempt toolchain update Attempt toolchain update #1363: Scheduled
2m 11s main
main
2m 11s
Running Copilot Code Review Copilot #6: by Copilot AI
2m 15s main
main
2m 15s
Upgrade Rust toolchain to nightly-2025-12-04 Release Bundle #6164: Pull request #4597 synchronize by tautschnig
17m 25s feliperodri:fix-toolchain-2025-12-04
feliperodri:fix-toolchain-2025-12-04
17m 25s
Upgrade Rust toolchain to nightly-2025-12-04 Kani Format Check #12727: Pull request #4597 synchronize by tautschnig
2m 43s feliperodri:fix-toolchain-2025-12-04
feliperodri:fix-toolchain-2025-12-04
2m 43s
Upgrade Rust toolchain to nightly-2025-12-04 Kani CI #12896: Pull request #4597 synchronize by tautschnig
5h 4m 15s feliperodri:fix-toolchain-2025-12-04
feliperodri:fix-toolchain-2025-12-04
5h 4m 15s
Upgrade Rust toolchain to nightly-2025-12-04 Cargo Deny #4920: Pull request #4597 synchronize by tautschnig
1m 5s feliperodri:fix-toolchain-2025-12-04
feliperodri:fix-toolchain-2025-12-04
1m 5s
Upgrade Rust toolchain to nightly-2025-12-04 Check Std Verification #2555: Pull request #4597 synchronize by tautschnig
7m 32s feliperodri:fix-toolchain-2025-12-04
feliperodri:fix-toolchain-2025-12-04
7m 32s
Upgrade Rust toolchain to nightly-2025-12-04 Kani Extra #5074: Pull request #4597 synchronize by tautschnig
3h 7m 0s
3h 7m 0s
Running Copilot Code Review Copilot #5: by Copilot AI
1m 21s main
main
1m 21s
Update CBMC dependency to 6.10.0 Kani CI #12895: Pull request #4619 opened by tautschnig
42m 20s tautschnig:cbmc-update
tautschnig:cbmc-update
42m 20s
Update CBMC dependency to 6.10.0 Check Std Verification #2554: Pull request #4619 opened by tautschnig
1m 33s tautschnig:cbmc-update
tautschnig:cbmc-update
1m 33s
Update CBMC dependency to 6.10.0 Cargo Deny #4919: Pull request #4619 opened by tautschnig
44s tautschnig:cbmc-update
tautschnig:cbmc-update
44s
Update CBMC dependency to 6.10.0 Release Bundle #6163: Pull request #4619 opened by tautschnig
12m 39s tautschnig:cbmc-update
tautschnig:cbmc-update
12m 39s
Update CBMC dependency to 6.10.0 Kani Format Check #12726: Pull request #4619 opened by tautschnig
2m 47s tautschnig:cbmc-update
tautschnig:cbmc-update
2m 47s
Update CBMC dependency to 6.10.0 Kani Extra #5073: Pull request #4619 opened by tautschnig
1h 29m 5s
1h 29m 5s
Push on gh-pages CodeQL #1042: by github-actions Bot
1m 39s gh-pages
gh-pages
1m 39s
pages build and deployment pages-build-deployment #2149: by github-pages Bot
38s gh-pages
gh-pages
38s
Emit explicit contract:: symbols for functions with contracts (#4612) Cargo Deny #4918: Commit 426d3dc pushed by github-merge-queue Bot
47s main
main
47s
Emit explicit contract:: symbols for functions with contracts (#4612) Kani CI #12894: Commit 426d3dc pushed by github-merge-queue Bot
1h 29m 45s main
main
1h 29m 45s
Emit explicit contract:: symbols for functions with contracts (#4612) Kani End-To-End Performance Benchmarks #310: Commit 426d3dc pushed by github-merge-queue Bot
1h 29m 26s main
main
1h 29m 26s
Emit explicit contract:: symbols for functions with contracts (#4612) Kani Format Check #12725: Commit 426d3dc pushed by github-merge-queue Bot
2m 39s main
main
2m 39s
Emit explicit contract:: symbols for functions with contracts (#4612) Kani Compiler Performance Benchmarks #310: Commit 426d3dc pushed by github-merge-queue Bot
41m 34s main
main
41m 34s
Emit explicit contract:: symbols for functions with contracts (#4612) Release Bundle #6162: Commit 426d3dc pushed by github-merge-queue Bot
16m 27s main
main
16m 27s
Push on main CodeQL #1041: by github-merge-queue Bot
18m 15s main
main
18m 15s