Skip to content

Prep for review

9bddca1
Select commit
Loading
Failed to load commit list.
Merged

chore: Update Lean to v4.27.0 #28

Prep for review
9bddca1
Select commit
Loading
Failed to load commit list.
Garnix CI / All Garnix checks succeeded Feb 23, 2026 in 1m 13s

All Garnix checks

All Garnix checks succeeded

Details

Last 100 lines of logs: