Skip to content

Bump lean v4.28.0 rc1#9

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

Bump lean v4.28.0 rc1#9
kencyke merged 3 commits intomainfrom
bump-v4.28.0-rc1

Commits

Commits on Feb 11, 2026