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 #1298: Scheduled
34m 51s main
main
34m 51s
Nightly: Slow tests Nightly: Slow tests #1409: Scheduled
3m 25s main
main
3m 25s
Attempt toolchain update Attempt toolchain update #1393: Scheduled
1m 54s main
main
1m 54s
Running Copilot Code Review Copilot #23: by Copilot AI
3m 36s main
main
3m 36s
Do not inject macro overrides into external dependencies Kani Extra #5178: Pull request #4666 opened by tautschnig
22s
22s
Do not inject macro overrides into external dependencies Check Std Verification #2638: Pull request #4666 opened by tautschnig
6m 34s tautschnig:restrict-macro-overrides-to-primary
tautschnig:restrict-macro-overrides-to-primary
6m 34s
Do not inject macro overrides into external dependencies Cargo Deny #5109: Pull request #4666 opened by tautschnig
45s tautschnig:restrict-macro-overrides-to-primary
tautschnig:restrict-macro-overrides-to-primary
45s
Do not inject macro overrides into external dependencies Release Bundle #6313: Pull request #4666 opened by tautschnig
14m 47s tautschnig:restrict-macro-overrides-to-primary
tautschnig:restrict-macro-overrides-to-primary
14m 47s
Do not inject macro overrides into external dependencies Kani CI #13085: Pull request #4666 opened by tautschnig
51m 47s tautschnig:restrict-macro-overrides-to-primary
tautschnig:restrict-macro-overrides-to-primary
51m 47s
Do not inject macro overrides into external dependencies Kani Format Check #12916: Pull request #4666 opened by tautschnig
2m 58s tautschnig:restrict-macro-overrides-to-primary
tautschnig:restrict-macro-overrides-to-primary
2m 58s
Run benchmark workflows on pull_request instead of pull_request_target Kani Benchmarks #2: Pull request #4664 synchronize by tautschnig
1s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
1s
Run benchmark workflows on pull_request instead of pull_request_target Kani Format Check #12915: Pull request #4664 synchronize by tautschnig
4m 2s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
4m 2s
Run benchmark workflows on pull_request instead of pull_request_target Check Std Verification #2637: Pull request #4664 synchronize by tautschnig
6m 40s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
6m 40s
Run benchmark workflows on pull_request instead of pull_request_target Cargo Deny #5108: Pull request #4664 synchronize by tautschnig
3m 50s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
3m 50s
Run benchmark workflows on pull_request instead of pull_request_target Release Bundle #6312: Pull request #4664 synchronize by tautschnig
16m 50s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
16m 50s
Run benchmark workflows on pull_request instead of pull_request_target Kani CI #13084: Pull request #4664 synchronize by tautschnig
23m 39s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
23m 39s
Run benchmark workflows on pull_request instead of pull_request_target Kani Extra #5177: Pull request #4664 synchronize by tautschnig
2m 18s
2m 18s
Running Copilot Code Review Copilot #22: by Copilot AI
3m 17s main
main
3m 17s
Run benchmark workflows on pull_request instead of pull_request_target Kani Extra #5176: Pull request #4664 opened by tautschnig
26s
26s
Run benchmark workflows on pull_request instead of pull_request_target Kani Benchmarks #1: Pull request #4664 opened by tautschnig
1s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
1s
Run benchmark workflows on pull_request instead of pull_request_target Cargo Deny #5107: Pull request #4664 opened by tautschnig
58s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
58s
Run benchmark workflows on pull_request instead of pull_request_target Kani CI #13083: Pull request #4664 opened by tautschnig
20m 3s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
20m 3s
Run benchmark workflows on pull_request instead of pull_request_target Check Std Verification #2636: Pull request #4664 opened by tautschnig
5m 8s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
5m 8s
Run benchmark workflows on pull_request instead of pull_request_target Kani Format Check #12914: Pull request #4664 opened by tautschnig
2m 45s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
2m 45s
Run benchmark workflows on pull_request instead of pull_request_target Release Bundle #6311: Pull request #4664 opened by tautschnig
16m 19s tautschnig:bench-on-pull-request
tautschnig:bench-on-pull-request
16m 19s