Bump to agda-2.8.0 #95
omelkonianAnnotations
1 error and 1 warning
|
build-deploy
cd /home/runner/downloads/agda-2.8.0 && cabal install -f +enable-cluster-counting exited with non-zero code: 1
|
|
build-deploy
Failed to restore: Cache service responded with 400
|