Update Logbook.md #136
yveshauserci.yaml
on: push
Typecheck Agda and build Haskell
22s
Annotations
2 errors
|
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/e34c9d61-c6cd-4d4b-b0c9-c09fb8dcbf59/.gitconfig: No such file or directory
|
|
Typecheck Agda and build Haskell
Process completed with exit code 1.
|