Repository navigation

fix(lean,#19733): Lean-21 cell[9] WSL/native subprocess fork - #19858

Merged

myia-ai-01 merged 1 commit into

mainfrom

fix/19733-lean21-wsl-subprocess

Oct 8, 2026

Merged

fix(lean,#19733): Lean-21 cell[9] WSL/native subprocess fork#19858
myia-ai-01 merged 1 commit into
mainfrom
fix/19733-lean21-wsl-subprocess

Commits on Oct 8, 2026
- fix(lean,#19733): Lean-21 cell[9] WSL/native subprocess fork
  claude
  committed
  45fc63f