From 76e50de44dd3078b7cb1458581c45fe6f3152e0c Mon Sep 17 00:00:00 2001 From: Zheyuan Wu <60459821+Trance-0@users.noreply.github.com> Date: Sat, 5 Jul 2025 01:47:01 -0500 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index ec45b60..ec10c15 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -32,11 +32,12 @@ pipeline { script { echo "Building docker image ${registry}:${version}.${env.BUILD_ID}" def customImage = docker.build("${registry}:v${version}.${env.BUILD_ID}") - echo "Logging in to docker hub" - docker.withRegistry('https://registry.hub.docker.com', 'docker-hub-creds') { - echo "Pushing docker image ${registry}:v${version}.${env.BUILD_ID}" - customImage.push() - } + // echo "Logging in to docker hub" + // docker.withRegistry('https://registry.hub.docker.com', 'docker-hub-creds') { + // echo "Pushing docker image ${registry}:v${version}.${env.BUILD_ID}" + // customImage.push() + // } + echo "skipping push due to conflicted servers" } } }