diff --git a/Jenkinsfile b/Jenkinsfile index dfd48c586..a937144b0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -47,7 +47,8 @@ pipeline { // Use the saved Docker image ID from the environment if needed if (env.DOCKER_IMAGE_ID) { echo "Stopping and removing Docker Image with ID: ${env.DOCKER_IMAGE_ID}" - docker.rmi(env.DOCKER_IMAGE_ID) + def dockerImage = docker.image(env.DOCKER_IMAGE_ID) + dockerImage.remove() } } }