diff options
| -rw-r--r-- | Jenkinsfile | 24 |
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 + } } } |