Skip to content
CI Lean

chore #1

Sign in to view logs

chore

chore #1

Triggered via push January 23, 2026 16:30
@denisecasedenisecase
pushed 3f43ddd
main
Status Success
Total duration 37s
Artifacts –

ci-lean.yml

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