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
Report the failure exit code under --quiet Kani Benchmarks #305: Pull request #4771 synchronize by ivmat
8s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
8s
Report the failure exit code under --quiet Kani CI #13613: Pull request #4771 synchronize by ivmat
49m 6s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
49m 6s
Report the failure exit code under --quiet Kani Format Check #13441: Pull request #4771 synchronize by ivmat
2m 49s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
2m 49s
Report the failure exit code under --quiet Cargo Deny #5632: Pull request #4771 synchronize by ivmat
3m 29s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
3m 29s
Report the failure exit code under --quiet Release Bundle #6735: Pull request #4771 synchronize by ivmat
21m 29s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
21m 29s
Report the failure exit code under --quiet Check Std Verification #2889: Pull request #4771 synchronize by ivmat
5m 10s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
5m 10s
Report the failure exit code under --quiet Kani Extra #5524: Pull request #4771 synchronize by ivmat
4m 5s
4m 5s
Upgrade Rust toolchain to nightly-2026-08-01 Kani Benchmarks #304: Pull request #4767 synchronize by feliperodri
1h 35m 56s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
1h 35m 56s
Upgrade Rust toolchain to nightly-2026-08-01 Release Bundle #6734: Pull request #4767 synchronize by feliperodri
19m 32s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
19m 32s
Upgrade Rust toolchain to nightly-2026-08-01 Cargo Deny #5631: Pull request #4767 synchronize by feliperodri
1m 32s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
1m 32s
Upgrade Rust toolchain to nightly-2026-08-01 Check Std Verification #2888: Pull request #4767 synchronize by feliperodri
18m 30s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
18m 30s
Upgrade Rust toolchain to nightly-2026-08-01 Kani CI #13612: Pull request #4767 synchronize by feliperodri
58m 52s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
58m 52s
Upgrade Rust toolchain to nightly-2026-08-01 Kani Format Check #13440: Pull request #4767 synchronize by feliperodri
2m 40s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
2m 40s
Upgrade Rust toolchain to nightly-2026-08-01 Kani Extra #5523: Pull request #4767 synchronize by feliperodri
54s
54s
Report the failure exit code under --quiet Kani Benchmarks #303: Pull request #4771 opened by ivmat
3s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
3s
Report the failure exit code under --quiet Kani CI #13611: Pull request #4771 opened by ivmat
51m 45s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
51m 45s
Report the failure exit code under --quiet Cargo Deny #5630: Pull request #4771 opened by ivmat
56s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
56s
Report the failure exit code under --quiet Kani Format Check #13439: Pull request #4771 opened by ivmat
2m 44s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
2m 44s
Report the failure exit code under --quiet Release Bundle #6733: Pull request #4771 opened by ivmat
19m 5s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
19m 5s
Report the failure exit code under --quiet Check Std Verification #2887: Pull request #4771 opened by ivmat
10m 33s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
10m 33s
Report the failure exit code under --quiet Kani Extra #5522: Pull request #4771 opened by ivmat
14s
14s
Upgrade Rust toolchain to nightly-2026-08-01 Kani Benchmarks #302: Pull request #4767 synchronize by feliperodri
41m 44s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
41m 44s
Upgrade Rust toolchain to nightly-2026-08-01 Kani Format Check #13438: Pull request #4767 synchronize by feliperodri
2m 22s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
2m 22s
Upgrade Rust toolchain to nightly-2026-08-01 Release Bundle #6732: Pull request #4767 synchronize by feliperodri
11m 44s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
11m 44s
Upgrade Rust toolchain to nightly-2026-08-01 Kani CI #13610: Pull request #4767 synchronize by feliperodri
3m 29s feliperodri:toolchain-2026-08-01
feliperodri:toolchain-2026-08-01
3m 29s