summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoss Barnowski <rossbar@berkeley.edu>2020-10-12 09:42:32 -0700
committerRoss Barnowski <rossbar@berkeley.edu>2020-10-12 09:44:35 -0700
commitb6d95828dfc61d7530c39c958e4a1e9c8d884393 (patch)
treee9ce2cff60dbebb8311c7ad19491ed8444f84a95
parenta72b89c7c2e30f5df5cf27f68b6afd45361934fd (diff)
downloadnumpy-b6d95828dfc61d7530c39c958e4a1e9c8d884393.tar.gz
CI: fix conditional for PR merge cmd
Co-authored-by: Matti Picus <matti.picus@gmail.com>
-rw-r--r--.circleci/config.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index dc18757d2..9324de943 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -17,7 +17,7 @@ jobs:
- run:
name: pull changes from merge
command: |
- [[ ! -z $CI_PULL_REQUEST ]] && git pull --ff-only origin "refs/pull/${CI_PULL_REQUEST//*pull\//}/merge"
+ if [[ -v CI_PULL_REQUEST ]] ; then git pull --ff-only origin "refs/pull/${CI_PULL_REQUEST//*pull\//}/merge" ; fi
- run:
name: create virtual environment, install dependencies