Change Details

(on workers for opam lister and loader services) This shall reduce the disk use to one opam root per worker (instead of worst case scenario of x distincts ones, with x the number of workers). Using /tmp/opam sounds sensible enough. (then another diff is required on the lister for this to actually work [1]) [1] D6306 Related to T3590

(on workers for opam lister and loader services) This shall reduce the disk use to one opam root per worker (instead of worst case scenario of x distincts ones, with x the number of workers). Using /tmp/opam sounds sensible enough. (then other diffs are required on the lister/loader for this to actually work [1] [2] [3]) [1] D6306 [2] D6316 (lister) [3] D6318 (loader) Related to T3590

(on workers for opam lister and loader services) This shall reduce the disk use to one opam root per worker (instead of worst case scenario of x distincts ones, with x the number of workers). Using /tmp/opam sounds sensible enough. (then another diff iss are required on the listerer/loader for this to actually work [1] [2] [3]) [1] D6306 [2] D6316 (lister) [3] D6318 (loader) Related to T3590