Commit 70f28df

committed

Skip all-dbs build for now.

1 parent a28a2cd commit 70f28dfCopy full SHA for 70f28df

File tree

-2

lines changed

-2

lines changed

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ pipeline {`
`41`	`41`	`script {`
`42`	`42`	`docker.withRegistry(p['docker.proxy.registry'], p['docker.proxy.credentials']) {`
`43`	`43`	`docker.image(p['docker.java.main.image']).inside(p['docker.java.inside.docker']) {`
`44`		`- sh "PROFILE=all-dbs JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"`
	`44`	`+ sh "PROFILE=ci JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"`
`45`	`45`	`sh "JENKINS_USER_NAME=${p['jenkins.user.name']} ci/clean.sh"`
`46`	`46`	`}`
`47`	`47`	`}`
`@@ -72,7 +72,7 @@ pipeline {`
`72`	`72`	`script {`
`73`	`73`	`docker.withRegistry(p['docker.proxy.registry'], p['docker.proxy.credentials']) {`
`74`	`74`	`docker.image(p['docker.java.next.image']).inside(p['docker.java.inside.docker']) {`
`75`		`- sh "PROFILE=all-dbs JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"`
	`75`	`+ sh "PROFILE=ci JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"`
`76`	`76`	`sh "JENKINS_USER_NAME=${p['jenkins.user.name']} ci/clean.sh"`
`77`	`77`	`}`
`78`	`78`	`}`

Comments

(0)