diff options
| author | Pamphile Roy <roy.pamphile@gmail.com> | 2022-07-10 10:44:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-10 10:44:11 -0700 |
| commit | f33dd34885fafbe2c5f466ccf05953bfdc73f56d (patch) | |
| tree | ee8988382e0accb895a9de9a807131cd220a5080 /.circleci | |
| parent | 30dcbb817143da04d184d948f0a98337e58d0632 (diff) | |
| download | numpy-f33dd34885fafbe2c5f466ccf05953bfdc73f56d.tar.gz | |
MAINT: multiline condition. [skip actions] [skip travis] [skip azp] [skip circle]
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 91a11bfed..16fd30fcf 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -25,7 +25,10 @@ jobs: export git_log=$(git log --max-count=1 --pretty=format:"%B" | tr "\n" " ") echo "Got commit message:" echo "${git_log}" - if [[ -v CIRCLE_PULL_REQUEST ]] && ([[ "$git_log" == *"[skip circle]"* ]] || [[ "$git_log" == *"[circle skip]"* ]]); then + if [[ -v CIRCLE_PULL_REQUEST ]] && \ + ([[ "$git_log" == *"[skip circle]"* ]] || \ + [[ "$git_log" == *"[circle skip]"* ]]) + then echo "Skip detected, exiting job ${CIRCLE_JOB} for PR ${CIRCLE_PULL_REQUEST}." circleci-agent step halt; fi |