Vote tracking in peras-iosim
#152
bwbushci.yaml
on: pull_request
Typecheck Agda and build Haskell
2m 0s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/252ef361-318e-40d3-9e9a-3dcf707c1819/.gitconfig: No such file or directory
|