diff --git a/Jenkinsfile b/Jenkinsfile index 4ed6fc9868c..67953a38625 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ pipeline { stages { stage('Prepare') { agent { - label 'ubuntu && !builds55 && !builds56 && !builds57 && !builds58 && !builds59 && !builds60' + label 'ubuntu' } stages { stage('Clean up') { @@ -28,7 +28,7 @@ pipeline { stage('Build') { matrix { agent { - label 'ubuntu && !builds55 && !builds56 && !builds57 && !builds58 && !builds59 && !builds60' + label 'ubuntu' } axes { axis { @@ -39,7 +39,7 @@ pipeline { stages { stage('JDK specific build') { agent { - label 'ubuntu && !builds55 && !builds56 && !builds57 && !builds58 && !builds59 && !builds60' + label 'ubuntu' } tools { jdk "${JAVA_VERSION}"