Merge pull request #6798 from gilles-peskine-arm/check_test_cases-quiet_ci-2.28

Hide check_test_cases warnings on the CI
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index ba37e33..1a2b10a 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -833,7 +833,7 @@
     else
         opt=''
     fi
-    tests/scripts/check_test_cases.py $opt
+    tests/scripts/check_test_cases.py -q $opt
     unset opt
 }