diff --git a/Jenkinsfile b/Jenkinsfile
index d19dc932ab1d6613ccc163050ab97ca6e4f27215..64a43cc7737c975a8c4e5c5ec4e1ee967921933f 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 {