Skip to content

Better representation of NodeId #61

Better representation of NodeId

Better representation of NodeId #61

Triggered via push February 9, 2024 15:12
Status Success
Total duration 1m 17s
Artifacts

ci.yaml

on: push
Typecheck Agda and generate Haskell
1m 9s
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/077ccdd0-4b4a-4190-9ad4-8b43fd632ab5/.gitconfig: No such file or directory