Merge pull request #21 from input-output-hk/bwbush/peras-iosim #97
bwbushci.yaml
on: push
Typecheck Agda and build Haskell
43s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/92a41550-b0c3-417e-8847-969b667f6e7a/.gitconfig: No such file or directory
|