[ ci ] Make Agda binary distributable hence cachable #615
Annotations
2 errors and 2 warnings
|
The run was canceled by @banacorn.
|
|
💾 Restore cached stack global package db
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.
|
Loading