Hello, When a tests fails because the timeout limit is reached, check-test-errors still returns a 0 exit code. Is this intended? Any way to bypass this and return something different than 0, as it could return false negative in CI tests?
Thanks, Pierre $ make -f gmakefile test s='ksp_ksp_tutorials-ex2_1' EXTRA_OPTIONS="-m 200 -n 200" check-test-errors 2>&1 > /dev/null; echo $? make: *** [check-test-errors] Error 1 2 $ make -f gmakefile test s='ksp_ksp_tutorials-ex2_1' EXTRA_OPTIONS="-m 200 -n 200" check-test-errors TIMEOUT=1 2>&1 > /dev/null; echo $? 0
