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

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

The logs for this run have expired and are no longer available.