CollisionFree predicate #98
yveshauserci.yaml
on: push
Typecheck Agda and build Haskell
1m 15s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/f9bcd6db-7cef-4cd0-bf3a-41c6ef28eb46/.gitconfig: No such file or directory
|