Work in progress on fixing CI for peras derivation.
#149
bwbushci.yaml
on: pull_request
Typecheck Agda and build Haskell
1m 9s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/d8a50ce2-dc4a-4129-9245-ba6908e4f667/.gitconfig: No such file or directory
|