Skip to content
Agda

build: add idempotent scripts/provision-agda.sh toolchain provisioner #739

Sign in to view logs

build: add idempotent scripts/provision-agda.sh toolchain provisioner

build: add idempotent scripts/provision-agda.sh toolchain provisioner #739

Triggered via push June 15, 2026 17:24
@hyperpolymathhyperpolymath
pushed 7c54e0b
main
Status Cancelled
Total duration 1m 28s
Artifacts –

agda.yml

on: push
check
1m 18s
check
cold-check
1m 18s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

5 errors
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
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
check
The operation was canceled.