Skip to content

Bump to version: v4.34.0 - #1661

Merged
zhikaip merged 4 commits into
leanprover-community:masterfrom
NicolasRouquette:4.34.0
Sep 20, 2026
Merged

zhikaip merged 4 commits into
leanprover-community:masterfrom
NicolasRouquette:4.34.0

chore(PhyslibAlpha): clear the linter warnings v4.34.0 surfaced

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Sep 19, 2026 in 6s