HomeSoftware Heritage

Rebuild jenkins docker images daily; make it avoid the cache if necessary

Authored by olasd on Dec 13 2019, 2:14 PM.

Description

Rebuild jenkins docker images daily; make it avoid the cache if necessary

Details

Committed
olasdDec 13 2019, 2:14 PM
Pushed
olasdDec 13 2019, 2:14 PM
Parents
rCJSWH59a5bff0c5b4: jobs/swh-packages: Retire old package loaders repositories
Branches
Unknown
Tags
Unknown