Work in progress on fixing CI for peras derivation.
#148
bwbushci.yaml
on: pull_request
Typecheck Agda and build Haskell
5m 14s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/d395560a-97fc-476f-8096-f36fdf3396e6/.gitconfig: No such file or directory
|