Skip to content

switch high-perf-docker to runs-on.com runners #425

switch high-perf-docker to runs-on.com runners

switch high-perf-docker to runs-on.com runners #425

Triggered via pull request June 12, 2024 11:00
Status Failure
Total duration 10m 45s
Artifacts

prover-daily-test.yaml

on: pull_request
prover-inconsistency-test
10m 14s
prover-inconsistency-test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
prover-inconsistency-test
The job running on runner runs-on--i-0aedfd2db5fffc72b--eFJvIwHkEb has exceeded the maximum execution time of 10 minutes.
prover-inconsistency-test
The operation was canceled.