Skip to content
CI Lean

chore #3

Sign in to view logs

chore

chore #3

Triggered via push January 23, 2026 17:48
@denisecasedenisecase
pushed 672aefa
main
Status Failure
Total duration 14s
Artifacts –

ci-lean.yml

on: push
Repository checks
9s
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.