chore: Update to Lean 4.26.0 and latest lean4-nix #26
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:
Loading