Skip to content

[do not merge] switch to runs-on.com runners for replay-verify #439

[do not merge] switch to runs-on.com runners for replay-verify

[do not merge] switch to runs-on.com runners for replay-verify #439

Triggered via pull request June 16, 2024 08:23
Status Cancelled
Total duration 12m 28s
Artifacts

prover-daily-test.yaml

on: pull_request
prover-inconsistency-test
2m 23s
prover-inconsistency-test
Fit to window
Zoom out
Zoom in

Annotations

1 error
prover-inconsistency-test
Canceling since a higher priority waiting request for 'Prover Daily Test-refs/pull/13720/merge' exists