Hi, @Théo Zimmermann I computed the size of
coqPackages_8_11 (compressed, as stored on cachix) to be around one Gb. If we multiply by the number of pipelines that need to coexist (numbers of branches across all the repositories that will be pushing to cachix), we get an upper bound of the size to ask Domen...
How do we estimate the latter?
Last updated: Jun 09 2023 at 08:01 UTC