From f2b96f113bdc8eb5f5a80636891a0cb5dc5647db Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Tue, 23 Aug 2022 10:15:19 +0200
Subject: [PATCH] No trigger. Has to be run manually.

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1a0bcdd..c988db3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,10 +10,10 @@ pipeline {
      }
   }
 
-  triggers {
-    cron('0 1 * * *')
+//  triggers {
+//    cron('0 1 * * *')
     // upstream(upstreamProjects: 'kieker-dev/master', threshold: hudson.model.Result.SUCCESS)
-  }
+//  }
 
   environment {
     KEYSTORE = credentials('kieker-irl-key')
-- 
GitLab