diff options
-rwxr-xr-x | dev/run-tests-jenkins | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/run-tests-jenkins b/dev/run-tests-jenkins index 31506e28e0..d9205f08cc 100755 --- a/dev/run-tests-jenkins +++ b/dev/run-tests-jenkins @@ -138,7 +138,7 @@ function post_message () { test_result="$?" if [ "$test_result" -eq "124" ]; then - fail_message="**Tests timed out** after a configured wait of \`${TESTS_TIMEOUT}\`." + fail_message="**[Tests timed out](${BUILD_URL}consoleFull)** after a configured wait of \`${TESTS_TIMEOUT}\`." post_message "$fail_message" exit $test_result else |