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 #1296: Scheduled
In progress main
main
In progress
Running Copilot Code Review Copilot #21: by Copilot AI
2m 8s main
main
2m 8s
Fix unsound f128 -> i128 lower bound in float-to-int range check Kani Extra #5162: Pull request #4663 opened by tautschnig
1h 24m 0s
1h 24m 0s
Fix unsound f128 -> i128 lower bound in float-to-int range check Cargo Deny #5084: Pull request #4663 opened by tautschnig
44s tautschnig:fix-f128-i128-lower-bound
tautschnig:fix-f128-i128-lower-bound
44s
Fix unsound f128 -> i128 lower bound in float-to-int range check Kani Format Check #12891: Pull request #4663 opened by tautschnig
3m 0s tautschnig:fix-f128-i128-lower-bound
tautschnig:fix-f128-i128-lower-bound
3m 0s
Fix unsound f128 -> i128 lower bound in float-to-int range check Release Bundle #6296: Pull request #4663 opened by tautschnig
16m 8s tautschnig:fix-f128-i128-lower-bound
tautschnig:fix-f128-i128-lower-bound
16m 8s
Fix unsound f128 -> i128 lower bound in float-to-int range check Kani CI #13060: Pull request #4663 opened by tautschnig
52m 40s tautschnig:fix-f128-i128-lower-bound
tautschnig:fix-f128-i128-lower-bound
52m 40s
Fix unsound f128 -> i128 lower bound in float-to-int range check Check Std Verification #2630: Pull request #4663 opened by tautschnig
4m 50s tautschnig:fix-f128-i128-lower-bound
tautschnig:fix-f128-i128-lower-bound
4m 50s
Nightly: Slow tests Nightly: Slow tests #1407: Scheduled
14m 39s main
main
14m 39s
Attempt CBMC update Attempt CBMC update #143: Scheduled
31m 17s main
main
31m 17s
Automatic cargo update to 2026-07-20 Cargo Deny #5083: Pull request #4661 opened by github-actions Bot
1m 1s cargo-update-2026-07-20
cargo-update-2026-07-20
1m 1s
Automatic cargo update to 2026-07-20 Release Bundle #6295: Pull request #4661 opened by github-actions Bot
15m 42s cargo-update-2026-07-20
cargo-update-2026-07-20
15m 42s
Automatic cargo update to 2026-07-20 Kani CI #13059: Pull request #4661 opened by github-actions Bot
59m 56s cargo-update-2026-07-20
cargo-update-2026-07-20
59m 56s
Automatic cargo update to 2026-07-20 Kani Format Check #12890: Pull request #4661 opened by github-actions Bot
2m 50s cargo-update-2026-07-20
cargo-update-2026-07-20
2m 50s
Automatic cargo update to 2026-07-20 Check Std Verification #2629: Pull request #4661 opened by github-actions Bot
6m 39s cargo-update-2026-07-20
cargo-update-2026-07-20
6m 39s
Push on cargo-update-2026-07-20 CodeQL #1164: by github-actions Bot
18m 35s cargo-update-2026-07-20
cargo-update-2026-07-20
18m 35s
PR #4661 CodeQL #1163: by github-actions Bot
15m 15s refs/pull/4661/head
refs/pull/4661/head
15m 15s
Attempt cargo update Attempt cargo update #139: Scheduled
4m 1s main
main
4m 1s
Attempt toolchain update Attempt toolchain update #1391: Scheduled
2m 20s main
main
2m 20s
Running Copilot Code Review Copilot #20: by Copilot AI
3m 17s main
main
3m 17s
Update Charon submodule to v0.1.69 Cargo Deny #5082: Pull request #4660 opened by tautschnig
43s tautschnig:charon-update-v0.1.69-pr
tautschnig:charon-update-v0.1.69-pr
43s
Update Charon submodule to v0.1.69 Kani CI #13058: Pull request #4660 opened by tautschnig
1h 3m 2s tautschnig:charon-update-v0.1.69-pr
tautschnig:charon-update-v0.1.69-pr
1h 3m 2s
Update Charon submodule to v0.1.69 Kani Format Check #12889: Pull request #4660 opened by tautschnig
2m 58s tautschnig:charon-update-v0.1.69-pr
tautschnig:charon-update-v0.1.69-pr
2m 58s
Update Charon submodule to v0.1.69 Check Std Verification #2628: Pull request #4660 opened by tautschnig
5m 0s tautschnig:charon-update-v0.1.69-pr
tautschnig:charon-update-v0.1.69-pr
5m 0s
Update Charon submodule to v0.1.69 Release Bundle #6294: Pull request #4660 opened by tautschnig
16m 31s tautschnig:charon-update-v0.1.69-pr
tautschnig:charon-update-v0.1.69-pr
16m 31s