Skip to content

chore: Update Lean to v4.24.0

87f2424
Select commit
Loading
Failed to load commit list.
Merged

chore: Update Lean to v4.24.0 #66

chore: Update Lean to v4.24.0
87f2424
Select commit
Loading
Failed to load commit list.
Garnix CI / All Garnix checks succeeded Oct 31, 2025 in 4m 30s

All Garnix checks

All Garnix checks succeeded

Details

Last 100 lines of logs: