diff --git a/Jenkinsfile b/Jenkinsfile index 25a79c3cd..aba59d5ca 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,12 +37,11 @@ pipeline { sh """#!/bin/bash -xe docker push() - Image push("latest") - } + docker push("latest") echo "Pushed Docker Image: ${env.IMAGE_NAME}" - } docker rmi ${env.IMAGE_NAME} ${env.IMAGE_NAME_LATEST} """ + } } }