Update 'Jenkinsfile'

add ansicolor option
2022-09-21 15:40:55 +02:00 · 2022-09-21 15:40:55 +02:00 · d2649e161b
parent 25f3cc5688
commit d2649e161b
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -6,6 +6,9 @@

 pipeline {
    agent { label 'CI'}
+    options {
+        ansiColor('xterm')
+    }
    tools {
       maven 'Maven 3-6-2'
       jdk 'OpenJDK 8'