Collision free predicate #85
yveshauserci.yaml
on: push
Typecheck Agda and build Haskell
59s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/dc711b85-627f-47f3-869e-009064de7673/.gitconfig: No such file or directory
|