Update 'Jenkinsfile'

2023-04-19 20:24:21 +02:00 · 2023-04-19 20:24:21 +02:00 · 7bfef86488
commit 7bfef86488
parent 7dcbc7d025
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -56,4 +56,5 @@ pipeline {
         }
      }
   }
+}
 }