diff --git a/Jenkinsfile b/Jenkinsfile index c83c22da79cf76c112ae14433a8fd682fcc62f05..18a2532f8236797c5f074eadcd9b6c160a9ef22a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,10 @@ pipeline { agent any + options { + ansiColor('xterm') + } + stages { stage('build') { steps {