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

…

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