GaloisInc / what4

Symbolic formula representation and solver interaction library
155 stars 13 forks source link

CI: Use Nix 2.11.0 #227

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

Nix 2.4 does not work well with GitHub Actions' Ubuntu 22.04 runners, as seen in https://github.com/cachix/install-nix-action/issues/141.


I'm hoping that this addresses the CI woes encountered in #226.