Skip to content

update

update #1

Triggered via push January 6, 2026 16:51
Status Success
Total duration 39s
Artifacts

ci-lean.yml

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