Diffusion puppet-swh-site cf710f7fbcfd

opam: No private /tmp since it's shared amongst process
cf710f7fbcfd
Actions

Tags

None

Subscribers

None

Description

opam: No private /tmp since it's shared amongst process

Related to T3717

Details

Provenance

ardumont	Authored on Nov 10 2021, 4:52 PM
ardumont	Pushed on Nov 10 2021, 4:54 PM

Parents

rSPSITEfbb2e18f6149: Add opam coq instance

Branches

Unknown

Tags

Unknown

Event Timeline

ardumont committed rSPSITEcf710f7fbcfd: opam: No private /tmp since it's shared amongst process (authored by ardumont).Nov 10 2021, 4:52 PM

Changes (1)

Path

Size

data/

common/

rSPSITEcf710f7fbcfd

data/common/common.yaml

Loading...