Skip to content

Update CI to run on self-hosted machine #58

Update CI to run on self-hosted machine

Update CI to run on self-hosted machine #58

Triggered via push February 9, 2024 07:47
Status Success
Total duration 12m 57s
Artifacts

ci.yaml

on: push
Typecheck Agda and generate Haskell
12m 49s
Typecheck Agda and generate Haskell
Fit to window
Zoom out
Zoom in

Annotations

1 error
Typecheck Agda and generate Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/ccacfae1-a102-41bd-b1ea-0316762b6315/.gitconfig: No such file or directory