Proof of collision-free property #99
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/c6573538-7dae-4d11-9315-f17d2149fa4a/.gitconfig: No such file or directory
|