Update Jenkinsfile

Co-authored-by: lemeurherveCB <[email protected]>
jenkinsci · Sep 24, 2024 · 78382f5 · 78382f5
1 parent 0a474a1
commit 78382f5
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -81,7 +81,10 @@ pipeline {
                                     script {
                                         def tagItems = env.TAG_NAME.split('-')
                                         if(tagItems.length == 2) {
-                                            withEnv(["REMOTING_VERSION=${tagItems[0]}", "BUILD_NUMBER=${tagItems[1]}"]) {
+                                            withEnv([
+                                                "REMOTING_VERSION=${tagItems[0]}",
+                                                "BUILD_NUMBER=${tagItems[1]}",
+                                            ]) {
                                                 // This function is defined in the jenkins-infra/pipeline-library
                                                 infra.withDockerCredentials {
                                                     if (isUnix()) {