1 files changed, 13 insertions, 11 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 3d27d513c..0717b286c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -40,21 +40,23 @@ def generateCI(display_name, image_name) {
 }
 
 node {
-    stage("Checkout") {
-        checkout scm
+    ansiColor('xterm') {
+        stage("Checkout") {
+            checkout scm
 
-        // Ensure we also have origin/master available
-        sh "git fetch --no-tags origin master:refs/remotes/origin/master"
+            // Ensure we also have origin/master available
+            sh "git fetch --no-tags origin master:refs/remotes/origin/master"
 
-        stash name: "source", useDefaultExcludes: false
-    }
+            stash name: "source", useDefaultExcludes: false
+        }
 
-    stage("Checkers") {
-        parallel ci_checkers_stages
-    }
+        stage("Checkers") {
+            parallel ci_checkers_stages
+        }
 
-    stage("Builds") {
-        parallel ci_builds_stages
+        stage("Builds") {
+           parallel ci_builds_stages
+        }
     }
 }