diff options
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/run-tests-jenkins | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/dev/run-tests-jenkins b/dev/run-tests-jenkins index a6ecf3196d..0b1e31b941 100755 --- a/dev/run-tests-jenkins +++ b/dev/run-tests-jenkins @@ -141,8 +141,10 @@ function post_message () { test_result="$?" if [ "$test_result" -eq "124" ]; then - fail_message="**[Tests timed out](${BUILD_URL}consoleFull)** after \ - a configured wait of \`${TESTS_TIMEOUT}\`." + fail_message="**[Tests timed out](${BUILD_URL}consoleFull)** \ + for PR $ghprbPullId at commit [\`${SHORT_COMMIT_HASH}\`](${COMMIT_URL}) \ + after a configured wait of \`${TESTS_TIMEOUT}\`." + post_message "$fail_message" exit $test_result else |