Minor cleanup #108
yveshauserci.yaml
on: push
Typecheck Agda and build Haskell
1m 7s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/9a759867-6dd9-41ab-bfb5-bd9fb6699da1/.gitconfig: No such file or directory
|