HomeSoftware Heritage

tools: add a simple job to clean old docker image files

Description

tools: add a simple job to clean old docker image files

Details

Provenance
douarddaAuthored on Oct 22 2018, 4:16 PM
douarddaPushed on Oct 22 2018, 4:18 PM
Parents
rCJSWH0f6c92a98746: tools: move dockerfiles.yaml in a tools directory
Branches
Unknown
Tags
Unknown