Skip to content
CI Lean

chore #2

Sign in to view logs

chore

chore #2

Triggered via push January 23, 2026 17:46
@denisecasedenisecase
pushed 8465c54
main
Status Failure
Total duration 13s
Artifacts –

ci-lean.yml

on: push
Repository checks
8s
Repository checks
Build Lean (compile)
0s
Build Lean (compile)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Repository checks
Process completed with exit code 1.