From fbbc8184de312956b0d56c1c449bd488dda1ba37 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 12 Oct 2023 16:24:44 +0200
Subject: [PATCH] Update 'JenkinsFile'

add trigger to is-collector too
---
 JenkinsFile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/JenkinsFile b/JenkinsFile
index 0ecbade..795f280 100644
--- a/JenkinsFile
+++ b/JenkinsFile
@@ -48,5 +48,12 @@ pipeline {
             }
         }
     }
+    stage('trigger IS-collector image job') {
+        steps {
+            script {
+                build(job: 'is-collector-service-image', wait: false, propagate: false);
+            }
+        }
+    }    
   }
 }