Added multiple lean versions to run parallely. - #77

Merged

amit9oct merged 3 commits into

mainfrom

feat/multiple-lean-version

Jun 22, 2026

Commits on Jun 22, 2026

Added multiple lean versions to run parallely.
amit9oct
committed
6b208c6
Update default Lean version to 4.30.0 in environment variable handling
amit9oct
committed
fab318a
Bump version to 1.10.0 in pyproject.toml
amit9oct
committed
3e971d8