commit | b3819d2c6a3d48ae7c1a05fe7fb2f89ca4243ede | [log] [tgz] |
---|---|---|
author | Pau Espin Pedrol <pespin@sysmocom.de> | Tue Mar 03 12:28:26 2020 +0100 |
committer | Pau Espin Pedrol <pespin@sysmocom.de> | Tue Mar 03 12:34:56 2020 +0100 |
tree | 745c69e06ac38a9747e56faef071826d445bd1f9 | |
parent | 9184c87ad86f9bf4c6fa73840b29f40407116b56 [diff] |
contrib/jenkins: Avoid docker setup if OSMO_CI_NO_DOCKER=1 Some jenkins slaves may not need docker (or even have it installed). Change-Id: Ibfc4a81d3d621503b40204b7452ead56c726af97