Skip to content

Bump lean to v4.26.0-rc2#4

Merged
kencyke merged 6 commits intomainfrom
bump-v4.26.0-rc2
Nov 28, 2025
Merged

Bump lean to v4.26.0-rc2#4
kencyke merged 6 commits intomainfrom
bump-v4.26.0-rc2

Commits

Commits on Nov 28, 2025