Diffusion puppet-swh-site f9dfffd41902

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

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

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

Details

Provenance

ardumont	Authored on Sep 20 2021, 2:59 PM
ardumont	Pushed on Sep 29 2021, 9:35 AM

Differential Revision

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

Tasks

T3590: opam loader: Ensure required opam state is shared amongst ingestion/listing runs

Event Timeline

ardumont committed rSPSITEf9dfffd41902: opam: Install and maintain up-to-date shared opam root directories (authored by ardumont).Sep 29 2021, 9:04 AM

ardumont added a task: T3590: opam loader: Ensure required opam state is shared amongst ingestion/listing runs.Sep 29 2021, 9:35 AM

ardumont added an edge: D6305: opam: Install and maintain up-to-date shared opam root directories.

Commit No Longer Exists

This commit no longer exists in the repository.