Skip to content

chore: bump to lean 4.31.0-rc2 - #8

Merged
AdrienChampion merged 1 commit into
mainfrom
bump_lean
Jun 11, 2026
Merged

chore: bump to lean 4.31.0-rc2#8
AdrienChampion merged 1 commit into
mainfrom
bump_lean

Commits

Commits on Jun 11, 2026