Update Jenkinsfile

Added the push for the dev label
2024-06-28 10:18:30 +02:00 · 2024-06-28 10:18:30 +02:00 · 14ccdaa443
parent 1b9c1402a5
commit 14ccdaa443
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -35,6 +35,7 @@ pipeline {
          docker.withRegistry( registryUrl, registryCredential ) {
            dockerImage.push("$BUILD_NUMBER")
            dockerImage.push('latest')
+            dockerImage.push('dev')
          }
        }
      }