Skip to content

fix(lean,#17597): _find_lean rejects CLI QuantConnect, only accepts Lean 4 - #17598

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/17597-lean-runner-find-lean
Sep 24, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/17597-lean-runner-find-lean

Commits

  1. Commits on Sep 23, 2026