Skip to content
CI

Introduce ADRs to keep track of our main decisions #71

Sign in to view logs

Introduce ADRs to keep track of our main decisions

Introduce ADRs to keep track of our main decisions #71

Triggered via pull request February 11, 2024 15:53
@abailly-iohkabailly-iohk
opened #16
abailly-iohk/introduce-adrs
Status Success
Total duration 45s
Artifacts –

ci.yaml

on: pull_request
Typecheck Agda and generate Haskell
39s
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/6c39557d-a4ce-465f-bbfb-048b13edf8e1/.gitconfig: No such file or directory