Skip to content

Fix CI

0bb7826
Select commit
Loading
Failed to load commit list.
Merged

chore: Update Lean to v4.21.0 #61

Fix CI
0bb7826
Select commit
Loading
Failed to load commit list.
Garnix CI / Evaluate flake.nix succeeded Aug 8, 2025 in 9s

Evaluate flake.nix

Evaluate flake.nix succeeded

Details

Last 100 lines of logs: