From efa5a9108b65b150cd59aa44fd6118e90de38e00 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Thu, 28 Mar 2019 08:14:10 +0100
Subject: [PATCH] [Jenkins] Skip build when commit message contains [web].
---
Jenkinsfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 62339faab1c..1bd9d684a9e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
#!/usr/bin/env groovy
-@Library('jenkins-pipeline@1.0.19') _
+@Library('jenkins-pipeline@1.0.21') _
def stage_required = [build: false, data: false, full: false, docker: false]
def build_shared = 'ON'
@@ -30,7 +30,7 @@ pipeline {
sh "git config core.whitespace -blank-at-eof"
sh "git diff --check `git merge-base origin/master HEAD` HEAD -- . ':!*.md' ':!*.pandoc' ':!*.asc'"
dir('scripts/jenkins') { stash(name: 'known_hosts', includes: 'known_hosts') }
- ciSkip action: 'check' // Check for [ci skip] commit message.
+ ciSkip action: 'check' // Check for [ci skip] or [web] commit message.
// ********* Check changesets for conditional stage execution **********
script {
--
GitLab