Consider using nix cache server, docker images as well?
https://nixos.org/manual/nix/stable/package-management/sharing-packages.html
It seems quite simple to configure. We could use this server as a cache for CI builds maybe.
Also, I'm currently trying to make purescript tests work. It turns out that (probably) nodejs 20.3.1 is needed which is too recent to be provided by a stable (LTS) nixpkgs. Hence I'm overriding nodejs config and this results in a long build. Cache could help us in such scenarios.
Also, Docker changes its policies
https://www.reddit.com/r/docker/comments/s5b5a9/dont_forget_docker_desktop_becomes_a_paid_piece/
They require paid subscriptions for large companies.
Maybe it's a good idea to push our custom docker images to something we own.
Does CNRS provide a server with larger disk space? We could use it for caching and maybe running CI builds.