Repository navigation

fix(installer): stop forcing setup and expose Lean bootstrap errors - #439

Merged

gauss-math-inc merged 2 commits into

mainfrom

codex/public-installer-lean-and-morph-20260330

Mar 30, 2026

Merged

fix(installer): stop forcing setup and expose Lean bootstrap errors#439
gauss-math-inc merged 2 commits into
mainfrom
codex/public-installer-lean-and-morph-20260330

Commits on Mar 30, 2026
- fix(installer): stop forcing setup and expose lean errors
  gauss-math-inc
  committed
  2e983e8
- fix(installer): make Lean toolchain detection robust
  gauss-math-inc
  committed
  7a7808a