diff options
| -rwxr-xr-x | release/ci.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/release/ci.py b/release/ci.py index eaabaf3a..94b1f13d 100755 --- a/release/ci.py +++ b/release/ci.py @@ -217,7 +217,9 @@ def build(): def is_pr(): - if os.environ.get("TRAVIS_PULL_REQUEST") != "false": + if "TRAVIS_PULL_REQUEST" in os.environ: + if os.environ["TRAVIS_PULL_REQUEST"] == "false": + return False return True elif os.environ.get("APPVEYOR_PULL_REQUEST_NUMBER"): return True |