Skip to content

[github] Update all checkout@v3 to checkout@v4 #474

[github] Update all checkout@v3 to checkout@v4

[github] Update all checkout@v3 to checkout@v4 #474

Triggered via pull request August 30, 2024 18:29
Status Failure
Total duration 10m 50s
Artifacts

prover-daily-test.yaml

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

Annotations

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