Diffusion Listers 332ed8e54309

opam: Allow defining where to actually install the opam_root folder
332ed8e54309
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: Allow defining where to actually install the opam_root folder

Related to T3590

Details

Provenance

ardumont	Authored on Sep 20 2021, 3:08 PM
ardumont	Pushed on Sep 21 2021, 11:23 AM

Differential Revision

D6306: opam: Allow defining where to actually install the opam_root folder

Tasks

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

Build Status

Buildable 23857
Build 37205: test-and-build	Jenkins console · Jenkins

Event Timeline

ardumont committed rDLS332ed8e54309: opam: Allow defining where to actually install the opam_root folder (authored by ardumont).Sep 21 2021, 11:17 AM

ardumont added a task: T3590: opam loader: Ensure required opam state is shared amongst ingestion/listing runs.Sep 21 2021, 11:23 AM

ardumont added an edge: D6306: opam: Allow defining where to actually install the opam_root folder.

Harbormaster completed building B23857: rDLS332ed8e54309: opam: Allow defining where to actually install the opam_root folder.Sep 21 2021, 11:27 AM

Commit No Longer Exists

This commit no longer exists in the repository.