Skip to content

Bump lean to v4.30.0-rc2 - #10

Merged
kencyke merged 8 commits into
mainfrom
bump-v4.30.0-rc2
May 23, 2026
Merged

kencyke merged 8 commits into
mainfrom
bump-v4.30.0-rc2

docs: update README.md

71fe3e6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.