From a2649dc43085610a408e9b44d960d868f3c4c446 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 28 Apr 2022 14:05:24 +0200
Subject: [PATCH] restored cron every fifteen minutes

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3d16486..39a1c73 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -31,11 +31,11 @@ pipeline {
     }
     triggers {
 //     every fifteen minutes (perhaps at :07, :22, :37, :52)
-//       cron('H/15 * * * *')
+       cron('H/15 * * * *')
 //     once a day on the 1st and 15th of every month
 //         cron ('H H 1,15 * *')
 // once every two hours at 45 minutes past the hour starting at 9:45 AM and finishing at 3:45 PM every weekday.
-		cron('45 9-16/2 * * 1-5')
+//		cron('45 9-16/2 * * 1-5')
     }
          //once in every two hours slot between 9 AM and 5 PM every weekday (perhaps at 10:38 AM, 12:38 PM, 2:38 PM, 4:38 PM)
 //             cron('H H(9-16)/2 * * 1-5')