diff --git a/Jenkinsfile b/Jenkinsfile index 966976c..030f4ef 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,7 @@ pipeline { - agent any + options { ansiColor('xterm') } @@ -40,6 +40,13 @@ pipeline { defaultValue: 'CI', description: 'Run on all nodes matching the label') } + agent + { + node + { + label "${exec_label}" + } + } stages { stage('Checkout git project') { steps {