Lean Action CI #13714
Triggered via merge group
September 17, 2026 04:38
tobiasgrosser
Status
Success
Total duration
22m 57s
Artifacts
–
lean_action_ci.yml
on: merge_group
Check orphan Lean modules
5s
Matrix: build