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 / Evaluate flake.nix succeeded Oct 31, 2025 in 13s

Evaluate flake.nix

Evaluate flake.nix succeeded

Details

Last 100 lines of logs: