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) 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] 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] D3606 Related to T3590