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