Skip to content

Set LEAN_MAIN_USE_THREAD=0 env before main executes - #59

Merged
paulcadman merged 2 commits into
mainfrom
set-lean-main-use-thread-0
Jun 2, 2026
Merged

Set LEAN_MAIN_USE_THREAD=0 env before main executes#59
paulcadman merged 2 commits into
mainfrom
set-lean-main-use-thread-0

Commits

  1. Commits on Apr 25, 2026

  2. Commits on Jun 2, 2026