Fabio Manganiello d6c236a5b1 Don't redirect grep output to /dev/null, otherwise we lose reference of the tests log		2021-02-27 20:57:59 +01:00
..
run_ci_tests.sh	Don't redirect grep output to /dev/null, otherwise we lose reference of the tests log	2021-02-27 20:57:59 +01:00