From a2b951471cdc4e08ceab6008431dde4d7354b9dd Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 27 Apr 2022 09:19:48 +0200
Subject: [PATCH] set cron every 15 days

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 35aaed4..3d39282 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -17,9 +17,9 @@ 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 * *')
+         cron ('H H 1,15 * *')
     }
          //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')