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: CBMC Latest Nightly: CBMC Latest #1301: Scheduled
1h 18m 22s main
main
1h 18m 22s
Nightly: Slow tests Nightly: Slow tests #1412: Scheduled
15m 47s main
main
15m 47s
Attempt toolchain update Attempt toolchain update #1396: Scheduled
2m 39s main
main
2m 39s
Running Copilot Code Review Copilot #26: by Copilot AI
3m 52s main
main
3m 52s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani Benchmarks #10: Pull request #4671 opened by tautschnig
1s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
1s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Cargo Deny #5134: Pull request #4671 opened by tautschnig
42s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
42s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani CI #13110: Pull request #4671 opened by tautschnig
1h 7m 17s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
1h 7m 17s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani Format Check #12941: Pull request #4671 opened by tautschnig
2m 13s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
2m 13s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Check Std Verification #2646: Pull request #4671 opened by tautschnig
4m 52s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
4m 52s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Release Bundle #6332: Pull request #4671 opened by tautschnig
15m 43s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
15m 43s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani Extra #5192: Pull request #4671 opened by tautschnig
14s
14s
Nightly: CBMC Latest Nightly: CBMC Latest #1300: Scheduled
1h 23m 41s main
main
1h 23m 41s
Running Copilot Code Review Copilot #25: by Copilot AI
1m 17s main
main
1m 17s
Upgrade Rust toolchain to nightly-2026-02-12 Kani Benchmarks #9: Pull request #4670 opened by tautschnig
1s tautschnig:toolchain-2026-02-12-pr
tautschnig:toolchain-2026-02-12-pr
1s
Upgrade Rust toolchain to nightly-2026-02-12 Kani CI #13109: Pull request #4670 opened by tautschnig
1h 1m 46s tautschnig:toolchain-2026-02-12-pr
tautschnig:toolchain-2026-02-12-pr
1h 1m 46s
Upgrade Rust toolchain to nightly-2026-02-12 Kani Format Check #12940: Pull request #4670 opened by tautschnig
3m 1s tautschnig:toolchain-2026-02-12-pr
tautschnig:toolchain-2026-02-12-pr
3m 1s
Upgrade Rust toolchain to nightly-2026-02-12 Release Bundle #6331: Pull request #4670 opened by tautschnig
17m 37s tautschnig:toolchain-2026-02-12-pr
tautschnig:toolchain-2026-02-12-pr
17m 37s
Upgrade Rust toolchain to nightly-2026-02-12 Check Std Verification #2645: Pull request #4670 opened by tautschnig
7m 32s tautschnig:toolchain-2026-02-12-pr
tautschnig:toolchain-2026-02-12-pr
7m 32s
Upgrade Rust toolchain to nightly-2026-02-12 Cargo Deny #5133: Pull request #4670 opened by tautschnig
1m 19s tautschnig:toolchain-2026-02-12-pr
tautschnig:toolchain-2026-02-12-pr
1m 19s
Upgrade Rust toolchain to nightly-2026-02-12 Kani Extra #5191: Pull request #4670 opened by tautschnig
12s
12s
Running Copilot Code Review Copilot #24: by Copilot AI
3m 22s main
main
3m 22s
Update Charon submodule to v0.1.71 Kani Benchmarks #8: Pull request #4669 opened by tautschnig
1s tautschnig:charon-update-v0.1.71-pr
tautschnig:charon-update-v0.1.71-pr
1s
Update Charon submodule to v0.1.71 Release Bundle #6330: Pull request #4669 opened by tautschnig
19m 6s tautschnig:charon-update-v0.1.71-pr
tautschnig:charon-update-v0.1.71-pr
19m 6s
Update Charon submodule to v0.1.71 Kani CI #13108: Pull request #4669 opened by tautschnig
49m 40s tautschnig:charon-update-v0.1.71-pr
tautschnig:charon-update-v0.1.71-pr
49m 40s
Update Charon submodule to v0.1.71 Kani Format Check #12939: Pull request #4669 opened by tautschnig
2m 39s tautschnig:charon-update-v0.1.71-pr
tautschnig:charon-update-v0.1.71-pr
2m 39s