diff --git a/Jenkinsfile b/Jenkinsfile
index 62339faab1c24ef76501d68b320e9a9f149332af..1bd9d684a9ea859a641c4570b33b18605f9b1698 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 {