From 2d430bd8cd624e71e1f737e1a9c701a60873a667 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 11 May 2022 09:16:10 +0200
Subject: [PATCH] change cron setting

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 50be665..7fa471c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -35,11 +35,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 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')
+       cron('H H(9-16)/2 * * 1-5')
 
     }
     environment {