Skip to content
Cryptol Checks

Use relative Dockerfile for GitHub actions image #361

Sign in to view logs

Use relative Dockerfile for GitHub actions image

Use relative Dockerfile for GitHub actions image #361

Triggered via push October 6, 2023 00:51
@WeeknightMVPWeeknightMVP
pushed 0bbe49f
containers-nightly
Status Failure
Total duration 25s
Artifacts –

cryptol-ci.yml

on: push
ci-load
13s
ci-load
ci-check
0s
ci-check
ci-prove
0s
ci-prove
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
ci-load
Docker pull failed with exit code 1
ci-load
Docker pull failed with exit code 1, back off 4.165 seconds before retry.
ci-load
Docker pull failed with exit code 1, back off 5.493 seconds before retry.