search

tweag / cooked-validators

MIT License
39 stars 11 forks source link

Relax 22.11 constraint #277

Closed gabrielhdt closed 1 year ago

gabrielhdt commented 1 year ago

An update of nixpkgs ensues Closes #244

gabrielhdt commented 1 year ago

Understood, so I'll force push that branch. My hope was that it would lighten the CI. Edit: which is stupid, because I can simply push the two commits together :facepalm:

gabrielhdt commented 1 year ago

This pull request is slightly embarrassing because ormolu 0.5.0.1 takes too much memory for the CI to compile. And even though I asked to use ormolu 0.5.0.3, something depends on the version 0.5.0.1, so we have to compile it. @Niols: IIRC you found a way to avoid compiling ormolu 0.5.0.1, can we do it again?

Niols commented 1 year ago

"Finding a way" consisted in compiling it locally using the Tweag builder, that has enough memory to compile Ormolu, and then pushing to the Cachix instance. It's not a very good way of doing things but it has worked until now.

Niols commented 1 year ago

Taking care of this Ormolu business right now.

Niols commented 1 year ago

“Fixed” \o