diff --git a/Jenkinsfile b/Jenkinsfile index 78c0bea2c..b9584f55c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent { kubernetes { - label 'xtext-core-' + env.BRANCH_NAME + '-' + env.BUILD_NUMBER + label 'xtext-core-' + (env.BRANCH_NAME.replace('/','_')) + '-' + env.BUILD_NUMBER defaultContainer 'xtext-buildenv' yaml ''' apiVersion: v1