diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index 8562068aa..608959cb8 100644 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -185,6 +185,7 @@ pipeline { beforeAgent true allOf { expression { return env.ONLY_DOCS == "false" } + expression { return params.INCLUDE_TESTING } not { expression { isInternalCI() } } } }