Cyril Cohen (Dec 11 2020 at 14:14): Cyril Cohen (Dec 11 2020 at 14:14):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...
Théo Zimmermann (Dec 11 2020 at 14:42):How do we estimate the latter?
Last updated: Oct 13 2024 at 01:02 UTC