Home
Software Heritage
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Listers
332ed8e54309
opam: Allow defining where to actually install the opam_root folder
332ed8e54309
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
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
Parents
rDLSff5e86ff489e: opam: Make the instance optional and derived from the url
Branches
Unknown
Tags
Unknown
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
2021-09-21 11:17:16 (UTC+2)
ardumont
added a task:
T3590: opam loader: Ensure required opam state is shared amongst ingestion/listing runs
.
Sep 21 2021, 11:23 AM
2021-09-21 11:23:17 (UTC+2)
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
2021-09-21 11:27:55 (UTC+2)