diff options
author | Davide Beatrici <davidebeatrici@gmail.com> | 2019-06-10 20:59:27 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-10 20:59:27 +0300 |
commit | 41b265584654c7ac216fd3ccb9c141734d3f839b (patch) | |
tree | a70cf0ed6a3c211eb8bf356aa15a4ae48c0378bc | |
parent | 83bca04fa0ff48f3bf81fefed5973a8dbdd33da3 (diff) | |
parent | 3f31c9be5f5cc15f919b68ddd9b529abf738744a (diff) |
Merge PR #3704: Do not build tags that we create when we upload to GitHub Releases1.3.0-rc2
-rw-r--r-- | .travis.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 8975098f7..e45e980c2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -30,3 +30,8 @@ before_install: script: - ./scripts/travis-ci/script.bash + +branches: + except: + - # Do not build tags that we create when we upload to GitHub Releases + - /^(?i:continuous)/ |