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

Bump lean-toolchain to v4.30.0 release

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

Annotations

3 warnings
build-macos
succeeded Jun 2, 2026 in 1m 38s