Skip to content

chore: Update lean4-nix

e6285e5
Select commit
Loading
Failed to load commit list.
Merged

chore: Update lean4-nix #65

chore: Update lean4-nix
e6285e5
Select commit
Loading
Failed to load commit list.
Garnix CI / Evaluate flake.nix succeeded Oct 28, 2025 in 13s

Evaluate flake.nix

Evaluate flake.nix succeeded

Details

Last 100 lines of logs: