[ ci ] #7
Annotations
2 errors and 4 warnings
|
The run was canceled by @banacorn.
|
|
⏬ Install Agda
The operation was canceled.
|
|
💾 Cache stack global package db
Failed to save: "/opt/homebrew/bin/gtar" failed with error: The process '/opt/homebrew/bin/gtar' failed with exit code 1
|
|
💾 Cache stack global package db
Cache save failed.
|
|
💾 Cache .stack-work
Cache save failed.
|
|
💾 Cache stack-installed binaries
Cache save failed.
|
Loading