Johannes Schindelin de896436df travis: fix skipping tagged releases ...

When building a PR, TRAVIS_BRANCH refers to the *target branch*.
Therefore, if a PR targets `master`, and `master` happened to be tagged,
we skipped the build by mistake.

Fix this by using TRAVIS_PULL_REQUEST_BRANCH (i.e. the *source branch*)
when available, falling back to TRAVIS_BRANCH (i.e. for CI builds, also
known as "push builds").

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

2018-11-19 18:25:14 +01:00

..

util

…

install-dependencies.sh

…

lib.sh

travis: fix skipping tagged releases

2018-11-19 18:25:14 +01:00

mount-fileshare.sh

Add a build definition for Azure DevOps

2018-11-19 18:25:13 +01:00

print-test-failures.sh

…

run-build-and-tests.sh

…

run-linux32-build.sh

…

run-linux32-docker.sh

…

run-static-analysis.sh

…

run-windows-build.sh

…

test-documentation.sh

…