Work in progress on fixing CI for peras derivation.
#144
bwbushci.yaml
on: pull_request
Typecheck Agda and build Haskell
30s
Annotations
2 errors
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/e89dfb77-5159-45ba-a83d-5630f7e5b5a6/.gitconfig: No such file or directory
|
|
Typecheck Agda and build Haskell
Process completed with exit code 1.
|