Skip to content
CI

Integrated peras-iosim with Agda-derived types. #64

Sign in to view logs

Integrated peras-iosim with Agda-derived types.

Integrated peras-iosim with Agda-derived types. #64

Triggered via pull request February 9, 2024 19:59
@bwbushbwbush
opened #13
bwbush/peras-iosim
Status Success
Total duration 49s
Artifacts –

ci.yaml

on: pull_request
Typecheck Agda and generate Haskell
41s
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/3efce8a9-7ca0-45e1-bf26-9a4d08e02fb4/.gitconfig: No such file or directory