From bf7fabd7bac4ef6932020ad11c1796a32cd97c6d Mon Sep 17 00:00:00 2001
From: Robin Mueller <Robin Mueller>
Date: Fri, 28 Jan 2022 13:46:05 +0100
Subject: [PATCH] commented out when block

---
 automation/Jenkinsfile | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 595f6963f..afb433653 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -13,12 +13,13 @@ pipeline {
                     reuseNode true
                 }
             }
-            when {
-                anyOf {
-                    changeset "${DOCK_FILE_DIR}/Dockerfile";
-                    changelog 'cleanDocker'
-                }
-            }
+            // Does not work, but maybe not necessary anyway..
+            //when {
+            //    anyOf {
+            //        changeset "${DOCK_FILE_DIR}/Dockerfile";
+            //        changelog 'cleanDocker'
+            //    }
+            //}
             steps {
                 sh 'rm -rf $BUILDDIR'
             }