Skip to content

fix: fix error and update Project

02a4606
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Bump lean to v4.27.0 rc1 #6

fix: fix error and update Project
02a4606
Select commit
Loading
Failed to load commit list.
build
succeeded Dec 23, 2025 in 2m 20s