diff --git a/.circleci/config.yml b/.circleci/config.yml index f20ab48f76..0d0a7851a4 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -43,7 +43,10 @@ jobs: # Update editor's copy on gh-pages - run: name: "Update GitHub Pages" - command: "make gh-pages" + command: | + if [ "${CIRCLE_TAG#draft-}" == "${CIRCLE_TAG}" ]; then + make gh-pages + fi # For tagged builds, upload to the datatracker. - deploy: