Skip to content

Capture Lean sources once per doctor run - #236

Merged
Deicyde merged 5 commits into
mainfrom
fix/doctor-single-lean-capture
Oct 13, 2026
Merged

Capture Lean sources once per doctor run#236
Deicyde merged 5 commits into
mainfrom
fix/doctor-single-lean-capture

Keep the doctor test Lean root flat as on main

d37e50e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar