Skip to content

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

fix(installer): make Lean toolchain detection robust

7a7808a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning

The logs for this run have expired and are no longer available.