diff --git a/Jenkinsfile b/Jenkinsfile index 012b398..1e7a40c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,6 +16,7 @@ node { * Second, the 'latest' tag. * Pushing multiple tags is cheap, as all the layers are reused. */ app.push() + app.push("${env.BUILD_NUMBER}") } stage('Cleaning'){