From 4bdf705168bb17f6e3f98b427d982c1c32bc4bc6 Mon Sep 17 00:00:00 2001 From: Mihai Georgescu Date: Wed, 29 Nov 2023 12:37:06 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index 32af4156c..04641e088 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -137,3 +137,4 @@ pipeline { } } } +}