Remove old 'sketch' directory #89
Annotations
2 errors
|
📥 Checkout repository
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/14c2c88b-2f35-4d8c-8640-14a87440c5c7/.gitconfig: No such file or directory
|
|
🧪 Typecheck Agda
Process completed with exit code 1.
|
The logs for this run have expired and are no longer available.
Loading