Skip to content
CI Lean

chore #2

Sign in to view logs

chore

chore #2

Triggered via push January 23, 2026 17:52
@denisecasedenisecase
pushed df7cbbf
main
Status Success
Total duration 36s
Artifacts –

ci-lean.yml

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