Change Jenkinsfile for devel

2018-02-18 12:22:53 +01:00 · 2018-02-18 12:22:53 +01:00 · 9453837b79
commit 9453837b79
parent 6e47f2f63d
1 changed files with 2 additions and 4 deletions
--- a/4
+++ b/4
@ -15,10 +15,8 @@ node {
         * First, the incremental build number from Jenkins
         * Second, the 'latest' tag.
         * Pushing multiple tags is cheap, as all the layers are reused. */
+        app.push("devel")
        //app.push("${env.BUILD_NUMBER}")
-        // app.push("latest")
-        app.push()
-        app.push("${env.BUILD_NUMBER}")
        
    }
    stage('Cleaning'){