HomeSoftware Heritage

opam: Install and maintain up-to-date shared opam root directories

Description

opam: Install and maintain up-to-date shared opam root directories

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.

Related to T3590