From 02cc6c36d46f4b50781b750cdae286fd28dd0979 Mon Sep 17 00:00:00 2001 From: Tom Date: Thu, 20 Apr 2017 09:47:11 +0200 Subject: [PATCH] Cancel the Travis build of a branch when a pull request exists It allows to not use slaves for nothing by executing twice (more or less) the same job. Building the pull request is enough in most cases. --- travis.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/travis.sh b/travis.sh index d2bb0abb6bb..97963c503cc 100755 --- a/travis.sh +++ b/travis.sh @@ -113,11 +113,16 @@ function fixBuildVersion { # function configureTravis { mkdir ~/.local - curl -sSL https://github.com/SonarSource/travis-utils/tarball/v33 | tar zx --strip-components 1 -C ~/.local + curl -sSL https://github.com/SonarSource/travis-utils/tarball/v35 | tar zx --strip-components 1 -C ~/.local source ~/.local/bin/install } configureTravis +# When pull request exists on the branch, then the job related to the branch does not need +# to be executed and should be canceled. It does not book slaves for nothing. +# @TravisCI please provide the feature natively, like at AppVeyor or CircleCI ;-) +cancel_branch_build_with_pr + case "$TARGET" in BUILD) -- 2.39.5