Skip to content

chore: Bump v4.32.0 - #1445

Merged
jstoobysmith merged 4 commits into
leanprover-community:masterfrom
NicolasRouquette:lean-4.32.0
Jul 21, 2026
Merged

chore: Bump v4.32.0#1445
jstoobysmith merged 4 commits into
leanprover-community:masterfrom
NicolasRouquette:lean-4.32.0

fix(lint): quiet 5 v4.32.0 #lint regressions on pre-existing declarat…

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

Annotations

1 warning
Python based linters
succeeded Jul 20, 2026 in 16s