diff --git a/Jenkinsfile b/Jenkinsfile index 5fe270d..1e7a40c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,10 +16,10 @@ node { * Second, the 'latest' tag. * Pushing multiple tags is cheap, as all the layers are reused. */ app.push() - app.push("${env.BUILD_NUMBER}") + app.push("${env.BUILD_NUMBER}") } stage('Cleaning'){ - sh "docker image prune -f -a" + sh "docker image prune -f" } }