[do not merge] switch to runs-on.com runners for replay-verify #438
geekflyerprover-daily-test.yaml
on: pull_request
prover-inconsistency-test
8m 19s
Annotations
2 errors
|
prover-inconsistency-test
Canceling since a higher priority waiting request for 'Prover Daily Test-refs/pull/13720/merge' exists
|
|
prover-inconsistency-test
The operation was canceled.
|