Skip to content

Bump lean to v4.27.0-rc1 - #6

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

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

Commits

Commits on Dec 23, 2025