From cb8e6dc712ca250a667cc377024177f9fad07bfd Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Tue, 7 Nov 2023 10:40:33 +0100
Subject: [PATCH] Update 'JenkinsFile'

add webhook
---
 JenkinsFile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/JenkinsFile b/JenkinsFile
index c92b5c8..726a4d0 100644
--- a/JenkinsFile
+++ b/JenkinsFile
@@ -41,4 +41,13 @@ pipeline {
       }
     }
   }
+  post {
+    always {
+      script {
+	withCredentials([string(credentialsId: 'is-collector-devnext-hook', variable: 'COLLECTOR_DEVNEXT_WEBHOOK')]) {
+	    sh "curl -v -X POST  $COLLECTOR_DEVNEXT_WEBHOOK"
+	}
+      }
+    }
+  }  
 }
\ No newline at end of file