Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: CBMC Latest Nightly: CBMC Latest #1164: Scheduled
43m 6s main
main
43m 6s
Nightly: Slow tests Nightly: Slow tests #1275: Scheduled
11m 46s main
main
11m 46s
Attempt toolchain update Attempt toolchain update #1248: Scheduled
2m 36s main
main
2m 36s
Automatic toolchain upgrade to nightly-2025-12-04 Kani Extra #4895: Pull request #4526 synchronize by feliperodri
1h 9m 23s
1h 9m 23s
Automatic toolchain upgrade to nightly-2025-12-04 Release Bundle #5953: Pull request #4526 synchronize by feliperodri
15m 44s toolchain-2025-12-04
toolchain-2025-12-04
15m 44s
Automatic toolchain upgrade to nightly-2025-12-04 Check Std Verification #2408: Pull request #4526 synchronize by feliperodri
7m 11s toolchain-2025-12-04
toolchain-2025-12-04
7m 11s
Automatic toolchain upgrade to nightly-2025-12-04 Kani CI #12636: Pull request #4526 synchronize by feliperodri
1h 19m 14s toolchain-2025-12-04
toolchain-2025-12-04
1h 19m 14s
Automatic toolchain upgrade to nightly-2025-12-04 Kani Format Check #12467: Pull request #4526 synchronize by feliperodri
2m 57s toolchain-2025-12-04
toolchain-2025-12-04
2m 57s
Automatic toolchain upgrade to nightly-2025-12-04 Cargo Deny #4660: Pull request #4526 synchronize by feliperodri
1m 57s toolchain-2025-12-04
toolchain-2025-12-04
1m 57s
Merge branch 'main' into toolchain-2025-12-04 Kani CI #12635: Commit 5372367 pushed by feliperodri
1h 23m 6s toolchain-2025-12-04
toolchain-2025-12-04
1h 23m 6s
Merge branch 'main' into toolchain-2025-12-04 Kani Format Check #12466: Commit 5372367 pushed by feliperodri
2m 45s toolchain-2025-12-04
toolchain-2025-12-04
2m 45s
Merge branch 'main' into toolchain-2025-12-04 Cargo Deny #4659: Commit 5372367 pushed by feliperodri
1m 47s toolchain-2025-12-04
toolchain-2025-12-04
1m 47s
PR #4526 CodeQL #890: by feliperodri
18m 58s refs/pull/4526/head
refs/pull/4526/head
18m 58s
Push on toolchain-2025-12-04 CodeQL #889: by feliperodri
19m 11s toolchain-2025-12-04
toolchain-2025-12-04
19m 11s
pages build and deployment pages-build-deployment #2120: by github-pages bot
23s gh-pages
gh-pages
23s
Push on gh-pages CodeQL #888: by github-actions bot
3m 8s gh-pages
gh-pages
3m 8s
Bump docker/login-action from 3 to 4 (#4558) Kani Compiler Performance Benchmarks #281: Commit 5084d8b pushed by github-merge-queue bot
42m 45s main
main
42m 45s
Bump docker/login-action from 3 to 4 (#4558) Kani Format Check #12465: Commit 5084d8b pushed by github-merge-queue bot
2m 53s main
main
2m 53s
Bump docker/login-action from 3 to 4 (#4558) Cargo Deny #4658: Commit 5084d8b pushed by github-merge-queue bot
1m 41s main
main
1m 41s
Bump docker/login-action from 3 to 4 (#4558) Kani End-To-End Performance Benchmarks #281: Commit 5084d8b pushed by github-merge-queue bot
1h 33m 44s main
main
1h 33m 44s
Bump docker/login-action from 3 to 4 (#4558) Release Bundle #5952: Commit 5084d8b pushed by github-merge-queue bot
16m 40s main
main
16m 40s
Bump docker/login-action from 3 to 4 (#4558) Kani CI #12634: Commit 5084d8b pushed by github-merge-queue bot
1h 21m 50s main
main
1h 21m 50s
Push on main CodeQL #887: by github-merge-queue bot
18m 45s main
main
18m 45s
pages build and deployment pages-build-deployment #2119: by github-pages bot
30s gh-pages
gh-pages
30s
Push on gh-pages CodeQL #886: by github-actions bot
3m 20s gh-pages
gh-pages
3m 20s