Skip to content

Merge pull request #25 from input-output-hk/abailly-iohk/connect-netw… #109

Merge pull request #25 from input-output-hk/abailly-iohk/connect-netw…

Merge pull request #25 from input-output-hk/abailly-iohk/connect-netw… #109

Triggered via push February 15, 2024 15:13
Status Success
Total duration 2m 29s
Artifacts

ci.yaml

on: push
Typecheck Agda and build Haskell
2m 21s
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/40d3acd2-e8e4-4234-89bc-85dee3b0875b/.gitconfig: No such file or directory