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
Upgrade Rust toolchain to nightly-2026-03-01 Kani Benchmarks #107: Pull request #4712 synchronize by feliperodri
In progress feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
In progress
Upgrade Rust toolchain to nightly-2026-03-01 Kani CI #13250: Pull request #4712 synchronize by feliperodri
In progress feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
In progress
Upgrade Rust toolchain to nightly-2026-03-01 Check Std Verification #2719: Pull request #4712 synchronize by feliperodri
6m 41s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
6m 41s
Upgrade Rust toolchain to nightly-2026-03-01 Cargo Deny #5274: Pull request #4712 synchronize by feliperodri
59s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
59s
Upgrade Rust toolchain to nightly-2026-03-01 Release Bundle #6447: Pull request #4712 synchronize by feliperodri
In progress feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
In progress
Upgrade Rust toolchain to nightly-2026-03-01 Kani Format Check #13081: Pull request #4712 synchronize by feliperodri
2m 51s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
2m 51s
Upgrade Rust toolchain to nightly-2026-03-01 Kani Extra #5286: Pull request #4712 synchronize by feliperodri
23s
23s
Attempt toolchain update Attempt toolchain update #1406: Scheduled
2m 44s main
main
2m 44s
Running Copilot Code Review Copilot #56: by Copilot AI
2m 48s main
main
2m 48s
Upgrade Rust toolchain to nightly-2026-03-01 Kani Benchmarks #106: Pull request #4712 opened by feliperodri
22s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
22s
Upgrade Rust toolchain to nightly-2026-03-01 Cargo Deny #5273: Pull request #4712 opened by feliperodri
56s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
56s
Upgrade Rust toolchain to nightly-2026-03-01 Kani Format Check #13080: Pull request #4712 opened by feliperodri
2m 20s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
2m 20s
Upgrade Rust toolchain to nightly-2026-03-01 Release Bundle #6446: Pull request #4712 opened by feliperodri
17m 17s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
17m 17s
Upgrade Rust toolchain to nightly-2026-03-01 Kani CI #13249: Pull request #4712 opened by feliperodri
48m 11s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
48m 11s
Upgrade Rust toolchain to nightly-2026-03-01 Check Std Verification #2718: Pull request #4712 opened by feliperodri
8m 4s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
8m 4s
Upgrade Rust toolchain to nightly-2026-03-01 Kani Benchmarks #105: Pull request #4712 labeled by feliperodri
1m 21s feliperodri:upgrade-toolchain-2026-03-01
feliperodri:upgrade-toolchain-2026-03-01
1m 21s
Upgrade Rust toolchain to nightly-2026-03-01 Kani Extra #5285: Pull request #4712 opened by feliperodri
14s
14s
pages build and deployment pages-build-deployment #2202: by github-pages Bot
41s gh-pages
gh-pages
41s
Push on gh-pages CodeQL #1260: by github-actions Bot
1m 54s gh-pages
gh-pages
1m 54s
Automatic cargo update to 2026-08-03 (#4708) Kani Compiler Performance Benchmarks #363: Commit 8528726 pushed by github-merge-queue Bot
41m 42s main
main
41m 42s
Automatic cargo update to 2026-08-03 (#4708) Kani End-To-End Performance Benchmarks #363: Commit 8528726 pushed by github-merge-queue Bot
1h 19m 10s main
main
1h 19m 10s
Automatic cargo update to 2026-08-03 (#4708) Kani Format Check #13079: Commit 8528726 pushed by github-merge-queue Bot
2m 35s main
main
2m 35s
Automatic cargo update to 2026-08-03 (#4708) Release Bundle #6445: Commit 8528726 pushed by github-merge-queue Bot
16m 6s main
main
16m 6s
Automatic cargo update to 2026-08-03 (#4708) Cargo Deny #5272: Commit 8528726 pushed by github-merge-queue Bot
49s main
main
49s
Automatic cargo update to 2026-08-03 (#4708) Kani CI #13248: Commit 8528726 pushed by github-merge-queue Bot
51m 58s main
main
51m 58s