diff --git a/Jenkinsfile b/Jenkinsfile index 071ac31439..becdc35b16 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -134,7 +134,9 @@ def buildDocker(install_prefix){ //force building the new docker if that parameter is true echo "Building image: ${image_name}" retimage = docker.build("${image_name}", dockerArgs + ' .') - retimage.push() + withDockerRegistry([ credentialsId: "docker_test_cred", url: "" ]) { + retimage.push() + } sh 'docker images -q -f dangling=true | xargs --no-run-if-empty docker rmi' } else{ @@ -146,7 +148,9 @@ def buildDocker(install_prefix){ catch(Exception ex){ echo "Unable to locate image: ${image_name}. Building image now" retimage = docker.build("${image_name}", dockerArgs + ' .') - retimage.push() + withDockerRegistry([ credentialsId: "docker_test_cred", url: "" ]) { + retimage.push() + } } }