Skip all-dbs build for now.

Author: mp911de

Jenkinsfile

@@ -41,7 +41,7 @@ pipeline {
 				script {
 					docker.withRegistry(p['docker.proxy.registry'], p['docker.proxy.credentials']) {
 						docker.image(p['docker.java.main.image']).inside(p['docker.java.inside.docker']) {
-							sh "PROFILE=all-dbs JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"
+							sh "PROFILE=ci JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"
 							sh "JENKINS_USER_NAME=${p['jenkins.user.name']} ci/clean.sh"
 						}
 					}
@@ -72,7 +72,7 @@ pipeline {
 						script {
 							docker.withRegistry(p['docker.proxy.registry'], p['docker.proxy.credentials']) {
 								docker.image(p['docker.java.next.image']).inside(p['docker.java.inside.docker']) {
-									sh "PROFILE=all-dbs JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"
+									sh "PROFILE=ci JENKINS_USER_NAME=${p['jenkins.user.name']} ci/test.sh"
 									sh "JENKINS_USER_NAME=${p['jenkins.user.name']} ci/clean.sh"
 								}
 							}