diff --git a/.circleci/config.yml b/.circleci/config.yml index 40bb3d16c..9666c7e04 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -83,6 +83,21 @@ jobs: name: Push image command: docker push $IMAGE_NAME:$IMAGE_TAG + build-and-deploy-gh-pages: + docker: + - image: circleci/python:3.7 + steps: + - checkout + - run: + name: "Set Git name for commits" + command: git config --global user.name "CircleCI" + - run: + name: "Install Mkdocs and Material theme" + command: pip install --user mkdocs mkdocs-material + - run: + name: "Build and push site" + command: mkdocs gh-deploy --message "Deployed {sha} with MkDocs version {version}. [skip ci]" + workflows: version: 2 build-images: @@ -107,3 +122,9 @@ workflows: only: - master - dev + documentation-update: + jobs: + - build-and-deploy-gh-pages: + filters: + branches: + only: master