From a2be3cc8c44cc625e28aad7babb7e1923dae3d3d Mon Sep 17 00:00:00 2001 From: Lihan Date: Sun, 28 Jul 2024 01:09:29 -0400 Subject: [PATCH] ahwjiasjdojiqowe --- Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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() } } }