Skip to content

Name why a Lean root is unusable instead of indexing nothing or crashing - #231

Merged
Deicyde merged 8 commits into
mainfrom
fix/lean-root-errors
Oct 13, 2026
Merged

Name why a Lean root is unusable instead of indexing nothing or crashing#231
Deicyde merged 8 commits into
mainfrom
fix/lean-root-errors

Pin that check and render resolve an unknown-home Lean root first

fd7b518
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar