diff --git a/Jenkinsfile b/Jenkinsfile
index 2f5b91e7d6..74d133ecb8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -673,7 +673,7 @@ pipeline {
           }
           when {
             anyOf {
-              branch 'master'
+              //branch 'master' // TODO: fix and re-enable
               branch 'pr-jenkins' // for testing
             }
           }