Johannes Schindelin 0c08820773 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-12-15 08:34:58 +01:00
..
util	travis-ci: include the trash directories of failed tests in the trace log	2018-08-01 09:59:36 -07:00
install-dependencies.sh	ci/lib.sh: encapsulate Travis-specific things	2018-12-15 08:32:47 +01:00
lib.sh	travis: fix skipping tagged releases	2018-12-15 08:34:58 +01:00
mount-fileshare.sh	Add a build definition for Azure DevOps	2018-12-15 08:32:49 +01:00
print-test-failures.sh	ci/lib.sh: encapsulate Travis-specific things	2018-12-15 08:32:47 +01:00
run-build-and-tests.sh	ci: use a junction on Windows instead of a symlink	2018-12-15 08:32:47 +01:00
run-linux32-build.sh	travis-ci: don't fail if user already exists on 32 bit Linux build job	2018-01-30 13:27:19 -08:00
run-linux32-docker.sh	ci: rename the library of common functions	2018-12-15 08:32:47 +01:00
run-static-analysis.sh	ci: rename the library of common functions	2018-12-15 08:32:47 +01:00
run-windows-build.sh	ci: rename the library of common functions	2018-12-15 08:32:47 +01:00
test-documentation.sh	ci/lib.sh: encapsulate Travis-specific things	2018-12-15 08:32:47 +01:00