From da0cb3b54011cdcc45dfd20bda4cc5eceb7b13de Mon Sep 17 00:00:00 2001
From: Andrea Ceccanti <andrea.ceccanti@gmail.com>
Date: Fri, 31 Jul 2020 13:46:39 +0200
Subject: [PATCH] Skip docker image creation on Jenkins

As we are moving that functionality to GH actions...
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9b0c97a91..f805eb445 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -26,7 +26,7 @@ pipeline {
   parameters {
     booleanParam(name: 'SKIP_TESTS', defaultValue: false, description: 'Skip tests')
     booleanParam(name: 'RUN_SONAR', defaultValue: false, description: 'Runs SONAR analysis')
-    booleanParam(name: 'SKIP_DOCKER', defaultValue: false, description: 'Skip docker image creation')
+    booleanParam(name: 'SKIP_DOCKER', defaultValue: true, description: 'Skip docker image creation')
     booleanParam(name: 'PUSH_TO_DOCKERHUB', defaultValue: false, description: 'Push to Dockerhub')
   }