diff --git a/ci/lib.sh b/ci/lib.sh
index 601164eb77..95bac690ca 100755
--- a/ci/lib.sh
+++ b/ci/lib.sh
@@ -287,7 +287,7 @@ else
 fi
 
 MAKEFLAGS="$MAKEFLAGS --jobs=$JOBS"
-GIT_PROVE_OPTS="--timer --jobs $JOBS --state=failed,slow,save"
+GIT_PROVE_OPTS="--timer --jobs $JOBS"
 
 GIT_TEST_OPTS="$GIT_TEST_OPTS --verbose-log -x"
 case "$CI_OS_NAME" in