diff options
Diffstat (limited to 'scripts/fail-build-if-not-head.sh')
| -rwxr-xr-x | scripts/fail-build-if-not-head.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/fail-build-if-not-head.sh b/scripts/fail-build-if-not-head.sh index 7a0968f15bf..dc6ae6b07a1 100755 --- a/scripts/fail-build-if-not-head.sh +++ b/scripts/fail-build-if-not-head.sh @@ -20,6 +20,8 @@ HEAD_REF="$(git rev-parse "origin/$CI_BUILD_REF_NAME")" if [ "$HEAD_REF" != "$CI_BUILD_REF" ]; then echo "Your revision is not a head of origin/$CI_BUILD_REF_NAME." echo "The current head is: $HEAD_REF." - echo "Failing build." + echo "" + echo "To speed up testing, we are intentionally failing this build because there is a more recent commit for this branch." + echo "This failure does not indicate a problem with this commit." exit 1 fi |