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