Skip to content
CI

Haskell package maintenance #80

Sign in to view logs

Haskell package maintenance

Haskell package maintenance #80

Triggered via pull request February 12, 2024 15:21
@bwbushbwbush
opened #18
bwbush/peras-hs
Status Success
Total duration 4m 2s
Artifacts –

ci.yaml

on: pull_request
Typecheck Agda and generate Haskell
3m 54s
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/46a7efc6-fd92-40ea-9541-4e6ca5cd03a2/.gitconfig: No such file or directory