CI: skip non-PR local branches

This commit is contained in:
Casper da Costa-Luis 2020-11-07 15:17:07 +00:00
parent 92b9cab380
commit 40781d5eaf
No known key found for this signature in database
GPG Key ID: 986B408043AE090D
1 changed files with 2 additions and 4 deletions

View File

@ -14,10 +14,8 @@ before_cache:
- rm -f $HOME/.cache/pip/log/debug.log
notifications:
email: false
# branches: # remove travis double-check on pull requests in main repo
# only:
# - master
# - /^\d\.\d+$/
# skip local branches (assumed built via PR)
if: type != push OR tag IS NOT blank OR branch = master OR branch = devel OR repo != tqdm/tqdm
stages:
- test
- name: deploy