From d7efeb8d599f4faa8cf7860a81ccc6f734b86f8d Mon Sep 17 00:00:00 2001
From: Peter Bastiani <peter.bastiani@akkerweb.nl>
Date: Tue, 27 Jun 2023 16:27:18 +0200
Subject: [PATCH] fix build

---
 Jenkinsfile.develop | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Jenkinsfile.develop b/Jenkinsfile.develop
index 439d64d..eb2fdf5 100644
--- a/Jenkinsfile.develop
+++ b/Jenkinsfile.develop
@@ -9,4 +9,12 @@ pipeline {
       }
     }
   }
+  post {
+    success {
+      postSuccess();
+    }
+    always {
+      postAlways();
+    }
+  }
 }
\ No newline at end of file