This PR follows the recent announcement of Cachix that finally gave a free 5GB to organisations. There is now a “Paris Branch” Cachix organisation and a dancelor.cachix.org cache. The PR sets up CI so that it feeds the Cachix instance. It also adds this Cachix instance (and the one for pre-commit-hooks) in the flake. For non-Nix users, this will make no difference. For Nix users, this will allow to download the whole development environment instead of having to build it again. It will also make the Nix part of the CI much faster, but it was already tie with the OPAM part so the overall execution time will remain the same.
This PR follows the recent announcement of Cachix that finally gave a free 5GB to organisations. There is now a “Paris Branch” Cachix organisation and a
dancelor.cachix.org
cache. The PR sets up CI so that it feeds the Cachix instance. It also adds this Cachix instance (and the one forpre-commit-hooks
) in the flake. For non-Nix users, this will make no difference. For Nix users, this will allow to download the whole development environment instead of having to build it again. It will also make the Nix part of the CI much faster, but it was already tie with the OPAM part so the overall execution time will remain the same.