diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh
index ab17183b1b0b..bc1f8168c6b1 100755
--- a/scripts/ci/run-jenkins.sh
+++ b/scripts/ci/run-jenkins.sh
@@ -62,6 +62,9 @@ if [[ ${CI_TAGS} == *'acceptance-tests'* ]];
 elif [[ ${CI_TAGS} == *'profiler-stress-tests'* ]];
     then
 	$(dirname "${BASH_SOURCE[0]}")/run-test-profiler-stress-tests.sh
+elif [[ ${CI_TAGS} == *'no-tests'* ]];
+    then
+	exit 0
 else
 	make check-ci
 fi