switch high-perf-docker to runs-on.com runners #426
geekflyerprover-daily-test.yaml
on: pull_request
prover-inconsistency-test
10m 14s
Annotations
2 errors
|
prover-inconsistency-test
The job running on runner runs-on--i-0a15b88a41814f14b--kbnVqQlrKW has exceeded the maximum execution time of 10 minutes.
|
|
prover-inconsistency-test
The operation was canceled.
|