update circleci config

This commit is contained in:
felinae98 2022-03-19 20:09:14 +08:00
parent f0853ccac8
commit 3d9523f5f3
No known key found for this signature in database
GPG Key ID: 00C8B010587FF610

View File

@ -14,10 +14,10 @@ workflows:
pre-steps: pre-steps:
- run: - run:
command: | command: |
if [ -z "${CIRCLE_PULL_REQUEST##*/}" ] if [[ -n "${CIRCLE_PULL_REQUEST##*/}" && ${CIRCLE_BRANCH} =~ "pull/" ]]
then then
IS_PR=false
else
IS_PR=true IS_PR=true
else
IS_PR=false
fi fi
echo '{ "is_pr": '$IS_PR' }' >> /home/circleci/params.json echo '{ "is_pr": '$IS_PR' }' >> /home/circleci/params.json