Skip to content

Bump lean to v4.27.0 rc1#6

Merged
kencyke merged 5 commits intomainfrom
bump-v4.27.0-rc1
Dec 23, 2025
Merged

Bump lean to v4.27.0 rc1#6
kencyke merged 5 commits intomainfrom
bump-v4.27.0-rc1

Commits

Commits on Dec 23, 2025