Update Jenkinsfile

2025-07-15 10:53:14 +02:00
parent 73c551c9de
commit c5202bb757
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@@ -115,7 +115,8 @@ pipeline {
                }
            }
        }
-
+    }
+    
    post {
        success {
            script {