Skip to content

Bump lean to v4.28.0-rc1 - #9

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

Bump lean to v4.28.0-rc1#9
kencyke merged 3 commits into
mainfrom
bump-v4.28.0-rc1

docs: update AGENTS.md

331aa7e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

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