contrib/ci.inria.fr: do not show check output

contrib/ci.inria.fr/job-1-check.sh

@@ -74,10 +74,11 @@ fi
 
 make
 #make check
-(make -k check || true) 2>&1 | tee  ../check_$$
+#(make -k check || true) 2>&1 | tee  ../check_$$
+(make -k check || true) 2>&1 > ../check_$$
 make showsuite
 
-grep "^FAIL:" ../check_$$ || true
+#grep "^FAIL:" ../check_$$ || true
 
 make clean