diff --git a/Jenkinsfile b/Jenkinsfile
index 96195a78e0aff59c709181c131da3cc1db3e8537..7cb901f6636428026daa77f5ede7fa04ed91516e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -154,6 +154,9 @@ pipeline {
             }
             if (sh(script: "git log -1 --pretty=%B | fgrep -ie '[skip ci]' -e '[ci skip]'", returnStatus: true) == 0) {
               currentBuild.result = 'SUCCESS'
+              sh'''
+              git log -1 --pretty=%B | fgrep -ie '[skip ci]' -e '[ci skip]
+              '''
               currentBuild.getRawBuild().getExecutor().interrupt(Result.SUCCESS)
             }
           }