diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-03-03 12:28:26 +0100 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-03-03 12:34:56 +0100 |
commit | b3819d2c6a3d48ae7c1a05fe7fb2f89ca4243ede (patch) | |
tree | 745c69e06ac38a9747e56faef071826d445bd1f9 /ansible/roles/osmocom-jenkins-slave | |
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
Diffstat (limited to 'ansible/roles/osmocom-jenkins-slave')
0 files changed, 0 insertions, 0 deletions