Skip to content

chore: Update Lean to v4.28.0

d0a59bb
Select commit
Loading
Failed to load commit list.
Merged

chore: Update Lean to v4.28.0 #29

chore: Update Lean to v4.28.0
d0a59bb
Select commit
Loading
Failed to load commit list.
Garnix CI / Evaluate flake.nix succeeded Feb 23, 2026 in 12s

Evaluate flake.nix

Evaluate flake.nix succeeded

Details

Last 100 lines of logs: