diff --git a/Jenkinsfile b/Jenkinsfile index 58ef4fc..966976c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,7 @@ pipeline { - agent { label 'CI'} + agent any options { ansiColor('xterm') }