Predicate for valid chain #107
yveshauserci.yaml
on: push
Typecheck Agda and build Haskell
1m 10s
Annotations
1 error
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/5bd348a8-c4b9-49c3-a3cd-907dc0d40bc0/.gitconfig: No such file or directory
|