Change Details

This shall reduce the disk use to one opam root per worker (instead of worst case scenario of 16, 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] D3606 Related to T3590

This shall reduce the disk use to one opam root per worker (instead of worst case scenario of 16, 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

This shall reduce the disk use to one opam root per worker (instead of worst case scenario of 16, 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] D36066306 Related to T3590