Skip to content
Certora

Merge pull request #421 from morpho-org/certora/fix-timeouts #345

Sign in to view logs

Merge pull request #421 from morpho-org/certora/fix-timeouts

Merge pull request #421 from morpho-org/certora/fix-timeouts #345

Triggered via push July 1, 2024 10:55
@MathisGDMathisGD
pushed cbd6ede
main
Status Success
Total duration 1h 30m 9s
Artifacts –

certora.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
verify (Enabled)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/692973e3d937129bcbf40652eb9f2f61becf3332'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
verify (Enabled)
Back off 20.543 seconds before retry.
verify (Enabled)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/692973e3d937129bcbf40652eb9f2f61becf3332'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
verify (Enabled)
Back off 19.244 seconds before retry.