Skip to content
Agda

estate-standardization-20260607 (DRAFT — owner-only LICENSE review re… #661

Sign in to view logs

estate-standardization-20260607 (DRAFT — owner-only LICENSE review re…

estate-standardization-20260607 (DRAFT — owner-only LICENSE review re… #661

Triggered via push June 11, 2026 10:17
@hyperpolymathhyperpolymath
pushed 90d178b
main
Status Cancelled
Total duration 7m 17s
Artifacts –

agda.yml

on: push
check
5m 36s
check
cold-check
7m 13s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 4 warnings
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
cold-check
The operation was canceled.
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
check
Back off 11.65 seconds before retry.
check
Failed to download action 'https://codeload.github.com/actions/checkout/tar.gz/df4cb1c069e1874edd31b4311f1884172cec0e10'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
check
Back off 13.529 seconds before retry.
check
Failed to download action 'https://codeload.github.com/actions/checkout/tar.gz/df4cb1c069e1874edd31b4311f1884172cec0e10'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.