Skip to content

Updated Logbook

Updated Logbook #88

Triggered via push February 13, 2024 06:41
Status Success
Total duration 1m 21s
Artifacts

ci.yaml

on: push
Typecheck Agda and build Haskell
1m 14s
Typecheck Agda and build Haskell
Fit to window
Zoom out
Zoom in

Annotations

1 error
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/6b2406b1-a38d-43ca-8eda-5650899fef6e/.gitconfig: No such file or directory