Modify Agda code to trigger CI rebuild #59
ghostci.yaml
on: push
Typecheck Agda and generate Haskell
1m 3s
Annotations
1 error
|
Typecheck Agda and generate Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/94225bb2-2a04-46bd-b0e3-82bef508086d/.gitconfig: No such file or directory
|