Skip to content

upgrade lean 4.32 rc1#1

Merged
cameronfreer merged 7 commits into
masterfrom
upgrade-lean-4.32-rc1
Jun 27, 2026
Merged

upgrade lean 4.32 rc1#1
cameronfreer merged 7 commits into
masterfrom
upgrade-lean-4.32-rc1

build: #upgrade — deprecation sweep (warning-clean on Lean v4.32.0-rc1)

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

Annotations

1 warning
Build project and blueprint
succeeded Jun 27, 2026 in 8m 57s