Modify Agda code to trigger CI rebuild #59
Annotations
1 error
|
📥 Checkout repository
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/94225bb2-2a04-46bd-b0e3-82bef508086d/.gitconfig: No such file or directory
|
The logs for this run have expired and are no longer available.
Loading