diff --git a/Jenkinsfile b/Jenkinsfile
index f3f895f313..ecf0893ea6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -133,7 +133,7 @@ pipeline {
 
                         # don't let these tests cause -1s because we aren't really paying that
                         # much attention to them
-                        YETUS_ARGS+=("--tests-filter=checkstyle")
+                        YETUS_ARGS+=("--tests-filter=checkstyle,test4tests")
 
                         # run in docker mode and specifically point to our
                         # Dockerfile since we don't want to use the auto-pulled version.
@@ -209,4 +209,4 @@ pipeline {
             }
         }
     }
-}
\ No newline at end of file
+}