Stream: Coq devs & plugin devs

Topic: Cachix allowance

view this post on Zulip 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...

view this post on Zulip Théo Zimmermann (Dec 11 2020 at 14:42):

How do we estimate the latter?

Last updated: Oct 15 2021 at 20:02 UTC