Skip to content
CI

Remove old 'sketch' directory #89

Sign in to view logs

Remove old 'sketch' directory

Remove old 'sketch' directory #89

Triggered via push February 13, 2024 07:08
@ghostghost
pushed 86cedff
main
Status Failure
Total duration 25s
Artifacts –

ci.yaml

on: push
Typecheck Agda and build Haskell
18s
Typecheck Agda and build Haskell
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Typecheck Agda and build Haskell
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 and build Haskell
Process completed with exit code 1.