search

tweag / cooked-validators

MIT License
39 stars 11 forks source link

bumping nixpkgs version #374

Closed mmontin closed 3 months ago

mmontin commented 3 months ago

We bump nixpkgs version to a specific commit to have HLS 2.2.0.0. This also bumps the version of ormolu that was problematic, thus this PR should close #356.

Niols commented 3 months ago

I see CI / Cache all Nix dependencies built without problem, and that is without tricks on my end, so the new versions of dependencies (and Ormolu in particular) are buildable in CI again and that indeed closes #356!