Work in progress on fixing CI for peras derivation.
#150
bwbushci.yaml
on: pull_request
Typecheck Agda and build Haskell
1m 20s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/582dbba6-88f1-4972-b254-0d424531c21e/.gitconfig: No such file or directory
|