From 3e3d92ae5d9a5dc73214a6c7d10781938709d3ba Mon Sep 17 00:00:00 2001
From: Lihan <lihanzhan@gmail.com>
Date: Sun, 28 Jul 2024 01:36:42 -0400
Subject: [PATCH] saduijqwo

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2810eab96..a0428726d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -47,7 +47,7 @@ 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.image(env.DOCKER_IMAGE_ID).remove()
+                    sh "docker rmi -f ${env.DOCKER_IMAGE_ID}"
                 }
             }
         }