Skip to content

chore: Update to Lean 4.26.0 and latest lean4-nix

d60b928
Select commit
Loading
Failed to load commit list.
Merged

chore: Update to Lean 4.26.0 and latest lean4-nix #26

chore: Update to Lean 4.26.0 and latest lean4-nix
d60b928
Select commit
Loading
Failed to load commit list.
Garnix CI / devShell default [x86_64-linux] succeeded Dec 17, 2025 in 3s

devShell default [x86_64-linux]

devShell default [x86_64-linux] succeeded

Details

Last 100 lines of logs: