diff options
| author | Pamphile Roy <roy.pamphile@gmail.com> | 2022-06-29 12:35:46 +0200 |
|---|---|---|
| committer | Pamphile Roy <roy.pamphile@gmail.com> | 2022-06-29 17:56:58 +0200 |
| commit | 30dcbb817143da04d184d948f0a98337e58d0632 (patch) | |
| tree | 873bcc4e75e1e9b2182251d4fdebe521808c5b03 /.circleci | |
| parent | 5611a727d2c3250009c1206e6f10db08c1ccda2a (diff) | |
| download | numpy-30dcbb817143da04d184d948f0a98337e58d0632.tar.gz | |
MAINT: skip circleCI logic.
[skip actions] [skip travis] [skip azp] [skip circle]
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 182f7e678..91a11bfed 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -18,6 +18,17 @@ jobs: steps: - checkout: + + - run: + name: Check-skip + command: | + 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 + echo "Skip detected, exiting job ${CIRCLE_JOB} for PR ${CIRCLE_PULL_REQUEST}." + circleci-agent step halt; + fi - run: name: pull changes from merge command: | |