From 35f6a91cd5d5bd2ecfc865f6c0c0b239727f55ee Mon Sep 17 00:00:00 2001 From: ChuhanJin <60994121+ChuhanJin@users.noreply.github.com> Date: Mon, 30 May 2022 22:20:09 +0800 Subject: [PATCH] chore: remove docker push (#111) Co-authored-by: chuhanjin <419436363@qq.com> --- Jenkinsfile | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 052706cc5cd6..a4f2e08f8e57 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -52,21 +52,15 @@ pipeline { stage('Build image') { app = docker.build("${env.DOCKER_CREDENTIALS_USR}/l2geth-img") - } - - stage('Push image') { - // Use the Credential ID of the Docker Hub Credentials we added to Jenkins. - docker.withRegistry('https://registry.hub.docker.com', 'dockerhub') { - // Push image and tag it with our build number for versioning purposes. - app.push("${env.BUILD_NUMBER}") - - // Push the same image and tag it as the latest version (appears at the top of our version list). - app.push("latest") - } - } + } } } } } } + post { + always { + cleanWs() + } + } } \ No newline at end of file