From 5c62875b30613c8a87e78ca3ba94b54c23da3a45 Mon Sep 17 00:00:00 2001 From: Sebastiaan Huber Date: Fri, 17 Dec 2021 14:42:29 +0100 Subject: [PATCH] Docs: replace CircleCI build with ReadTheDocs (#5279) The documentation was being built on CircleCI instead of GHA like the rest of the CI pipeline, because the former would allow the built HTML documentation to be inspected as an artifact, whereas for the latter this wasn't possible. It is now possible to do the same with ReadTheDocs, and since we already use that to host the documentation, that means we can now drop CircleCI. Cherry-pick: 7fad8229e71803722c5e37ce53650ec33a7e98bf --- .circleci/config.yml | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 .circleci/config.yml diff --git a/.circleci/config.yml b/.circleci/config.yml deleted file mode 100644 index d7fa7b9339..0000000000 --- a/.circleci/config.yml +++ /dev/null @@ -1,38 +0,0 @@ -version: 2 -jobs: - docs: - docker: - # see: https://circleci.com/docs/2.0/circleci-images/#python - - image: circleci/python:3.7-stretch - steps: - # Get our data and merge with upstream - - run: sudo apt-get update - - checkout - - - restore_cache: - keys: - - cache-pip - - - run: pip install --user .[docs,tests] - - - save_cache: - key: cache-pip - paths: - - ~/.cache/pip - - # Build the docs - - run: - name: Build docs to store - # nit-picky mode, turn warnings into errors, - # but do not stop the build on errors (so we can still inspect the doc artifacts) - command: | - sphinx-build -b html -n -W --keep-going -d docs/_build/doctrees docs/source docs/_build/html - - store_artifacts: - path: docs/_build/html/ - destination: html - -workflows: - version: 2 - default: - jobs: - - docs