Skip to content

update

update #1

Triggered via push January 6, 2026 16:52
Status Success
Total duration 44s
Artifacts

ci-lean.yml

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