From 5f7975d3eba18dccb95e71103f0f68686f36a81f Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 18 Feb 2019 08:55:14 +0100
Subject: [PATCH] [Jenkins] Added [ci skip] functionality.
---
Jenkinsfile | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index d19dc932ab1..64a43cc7737 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
#!/usr/bin/env groovy
-@Library('jenkins-pipeline@1.0.18') _
+@Library('jenkins-pipeline@1.0.19') _
def stage_required = [build: false, data: false, full: false, docker: false]
@@ -19,6 +19,7 @@ pipeline {
sh "git config core.whitespace -blank-at-eof"
sh "git diff --check `git merge-base origin/master HEAD` HEAD -- . ':!*.md' ':!*.pandoc'"
dir('scripts/jenkins') { stash(name: 'known_hosts', includes: 'known_hosts') }
+ ciSkip action: 'check' // Check for [ci skip] commit message.
// ********* Check changesets for conditional stage execution **********
script {
@@ -64,6 +65,8 @@ pipeline {
}
}
}
+ // Mark build as NOT_BUILT when [ci skip] commit message was found
+ post { always { ciSkip action: 'postProcess' } }
}
stage('Build') {
parallel {
--
GitLab