Merge pull request #15 from input-output-hk/bwbush/peras-iosim #69
bwbushci.yaml
on: push
Typecheck Agda and generate Haskell
16s
Annotations
1 error
|
Typecheck Agda and generate Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/9908b057-a13b-4e26-bc42-2b003f761eef/.gitconfig: No such file or directory
|