Merge pull request #22 from input-output-hk/bwbush/peras-iosim #102
bwbushci.yaml
on: push
Typecheck Agda and build Haskell
42s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/b1e597b0-7015-4df4-96a5-64c7b4328ce2/.gitconfig: No such file or directory
|