diff --git a/Jenkinsfile b/Jenkinsfile
index 72882f9891fa148aed927871187174298d3dfe17..11095d64b0281c5e998c3d275a7e3eb71d6b64b2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -201,8 +201,8 @@ pipeline {
   stages {
       stage('pre_build'){
           agent{label 'master'}
-          when {
-              changeRequest()
+          when{
+                changeRequest()
           }
           steps {
             script{
@@ -255,6 +255,7 @@ pipeline {
                expression{
                 return skipbuild.trim() == '2'
               }
+              not{ expression { env.CHANGE_BRANCH =~ /docs\// }}
             }
           }
       parallel {