Skip to content

Bump lean to v4.28.0-rc1 - #9

Merged
kencyke merged 3 commits into
mainfrom
bump-v4.28.0-rc1
Mar 15, 2026
Merged

Bump lean to v4.28.0-rc1#9
kencyke merged 3 commits into
mainfrom
bump-v4.28.0-rc1

Commits

Commits on Feb 11, 2026