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
Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc… Kani End-To-End Performance Benchmarks #498: Commit 6ce55b9 pushed by github-merge-queue Bot
1h 1m 33s main
main
1h 1m 33s
Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc… Cargo Deny #6266: Commit 6ce55b9 pushed by github-merge-queue Bot
51s main
main
51s
Push on main CodeQL #1753: by github-merge-queue Bot
11m 48s main
main
11m 48s
Upgrade Charon to nightly-2026.10.13 Kani Extra #5960: Pull request #5003 opened by feliperodri
17s
17s
Upgrade Charon to nightly-2026.10.13 Release Bundle #7262: Pull request #5003 opened by feliperodri
49m 51s feliperodri:charon-2026.10.13
feliperodri:charon-2026.10.13
49m 51s
Upgrade Charon to nightly-2026.10.13 Cargo Deny #6265: Pull request #5003 opened by feliperodri
1m 7s feliperodri:charon-2026.10.13
feliperodri:charon-2026.10.13
1m 7s
Upgrade Charon to nightly-2026.10.13 Kani CI #14246: Pull request #5003 opened by feliperodri
1h 38m 2s feliperodri:charon-2026.10.13
feliperodri:charon-2026.10.13
1h 38m 2s
Upgrade Charon to nightly-2026.10.13 Kani Format Check #14074: Pull request #5003 opened by feliperodri
1m 52s feliperodri:charon-2026.10.13
feliperodri:charon-2026.10.13
1m 52s
Upgrade Charon to nightly-2026.10.13 Kani Benchmarks #685: Pull request #5003 opened by feliperodri
1s feliperodri:charon-2026.10.13
feliperodri:charon-2026.10.13
1s
Upgrade Charon to nightly-2026.10.13 Check Std Verification #3228: Pull request #5003 opened by feliperodri
18m 20s feliperodri:charon-2026.10.13
feliperodri:charon-2026.10.13
18m 20s
Push on gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a CodeQL #1752: by github-merge-queue Bot
13m 34s gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
13m 34s
Kani Format Check Kani Format Check #14073: Merge group checks requested
2m 16s
2m 16s
Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc… Kani CI #14245: Commit 6ce55b9 pushed by github-merge-queue Bot
1h 56m 48s gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
1h 56m 48s
Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc… Kani Format Check #14072: Commit 6ce55b9 pushed by github-merge-queue Bot
2m 16s gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
2m 16s
Cargo Deny Cargo Deny #6264: Merge group checks requested
56s
56s
Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc… Cargo Deny #6263: Commit 6ce55b9 pushed by github-merge-queue Bot
1m 13s gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a
1m 13s
Release Bundle Release Bundle #7261: Merge group checks requested
40m 40s
40m 40s
Kani Extra Kani Extra #5959: Merge group checks requested
19s
19s
Kani CI Kani CI #14244: Merge group checks requested
2h 9m 42s
2h 9m 42s
Automatic toolchain upgrade to nightly-2026-10-12 Kani Extra #5958: Pull request #5002 reopened by feliperodri
20s
20s
Automatic toolchain upgrade to nightly-2026-10-12 Release Bundle #7260: Pull request #5002 reopened by feliperodri
35m 39s toolchain-2026-10-12
toolchain-2026-10-12
35m 39s
Automatic toolchain upgrade to nightly-2026-10-12 Kani Benchmarks #684: Pull request #5002 reopened by feliperodri
7s toolchain-2026-10-12
toolchain-2026-10-12
7s
Automatic toolchain upgrade to nightly-2026-10-12 Kani CI #14243: Pull request #5002 reopened by feliperodri
1h 37m 0s toolchain-2026-10-12
toolchain-2026-10-12
1h 37m 0s
Automatic toolchain upgrade to nightly-2026-10-12 Kani Format Check #14071: Pull request #5002 reopened by feliperodri
2m 42s toolchain-2026-10-12
toolchain-2026-10-12
2m 42s
Automatic toolchain upgrade to nightly-2026-10-12 Check Std Verification #3227: Pull request #5002 reopened by feliperodri
22m 18s toolchain-2026-10-12
toolchain-2026-10-12
22m 18s