Skip to content

chore: bump to lean 4.30.0 - #6

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

chore: bump to lean 4.30.0#6
AdrienChampion merged 1 commit into
mainfrom
bump_lean

chore: bump to lean 4.30.0

818350f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build_and_test
succeeded Jun 11, 2026 in 22s