diff --git a/Jenkinsfile b/Jenkinsfile index c9e96d2..a66537d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,6 +6,9 @@ pipeline { agent { label 'CI'} + options { + ansiColor('xterm') + } tools { maven 'Maven 3-6-2' jdk 'OpenJDK 8'