HomeSoftware Heritage

Use tini in the jenkins agent docker container to reap dead processes

Description

Use tini in the jenkins agent docker container to reap dead processes

Details

Provenance
olasdAuthored on Mar 26 2020, 6:46 PM
olasdPushed on Mar 26 2020, 6:49 PM
Parents
rCDFJ1e522b9765d3: Use buildkit and shared cache to speed up successive builds
Branches
Unknown
Tags
Unknown