Test

[ fix ] Provide the CI with stack.yaml for building Agda #1078

Sign in to view logs

Annotations

4 errors and 1 warning

The run was canceled by @banacorn.

The operation was canceled.

Process completed with exit code 1.

The run was canceled by @banacorn.

Cache save failed.

The logs for this run have expired and are no longer available.