Nix setup#6

Merged

jasagredo merged 3 commits into

mainfrom

Jul 2, 2026

IOG Hydra / ci/eval succeeded Jul 2, 2026 in 4s

Evaluation succeeded

Checkout took 1s.
Evaluation took 28s.

View more details on IOG Hydra