Update the Docker path in the Jenkinsfile

Jay Bryant · Jay Bryant · commit 56f545aa422e · 2023-01-11T13:13:25.000-06:00
to make the CI work.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -14,7 +14,7 @@ pipeline {
 		stage("test: baseline (jdk17)") {
 			agent {
 				docker {
-					image 'adoptopenjdk/openjdk17:latest'
+					image 'harbor-repo.vmware.com/dockerhub-proxy-cache/library/adoptopenjdk/openjdk17:latest'
 					args '-v $HOME/.m2:/tmp/jenkins-home/.m2'
 				}
 			}

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ pipeline {`
`14`	`14`	`stage("test: baseline (jdk17)") {`
`15`	`15`	`agent {`
`16`	`16`	`docker {`
`17`		`- image 'adoptopenjdk/openjdk17:latest'`
	`17`	`+ image 'harbor-repo.vmware.com/dockerhub-proxy-cache/library/adoptopenjdk/openjdk17:latest'`
`18`	`18`	`args '-v $HOME/.m2:/tmp/jenkins-home/.m2'`
`19`	`19`	`}`
`20`	`20`	`}`