Pau Espin b3819d2c6a 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		2020-03-03 12:34:56 +01:00
..
jenkins.sh	contrib/jenkins: Avoid docker setup if OSMO_CI_NO_DOCKER=1	2020-03-03 12:34:56 +01:00