FIX CircleCI deploy command.
Bash regexes should not be quoted.
@@ -73,7 +73,7 @@ jobs:
- run: ls -ltrh doc/_build/html/stable
- deploy:
command: |
- if [[ "${CIRCLE_BRANCH}" =~ "^master$"|"^[0-9]+\.[0-9]+\.X$" ]]; then
+ if [[ "${CIRCLE_BRANCH}" =~ ^master$|^[0-9]+\.[0-9]+\.X$ ]]; then
bash build_tools/circle/push_doc.sh doc/_build/html/stable
fi
