Merge pull request #20 from input-output-hk/bwbush/peras-iosim #94
ci.yaml
on: push
Typecheck Agda and build Haskell
44s
Annotations
1 error
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/68cd8ee0-2b4c-4a56-9636-5f30f23a9f33/.gitconfig: No such file or directory
|