Remove CircleCI docs build
Same as our RTD build, and the previews there are
nicer
DELETE
.circleci/config.yml
-version: 2
-jobs:
- # Define a "build_docs" job to be run with Circle
- build_docs:
- # This is the base environment that Circle will use
- docker:
- - image: circleci/python:3.8-buster
- steps:
- # Get our data and merge with upstream
- - run: sudo apt-get update
- - checkout
- # Update our path
- - run: echo "export PATH=~/.local/bin:$PATH" >> $BASH_ENV
- # Restore cached files to speed things up
- - restore_cache:
- keys:
- - cache-pip
- - run: pip install --user -e .
- # Install the packages needed to build our documentation
- # This will depend on your particular package!
- - run: pip install --user -r docs/doc-requirements.txt
- # Cache some files for a speedup in subsequent builds
- - save_cache:
- key: cache-pip
- paths:
- - ~/.cache/pip
- # Build the docs
- - run:
- name: Build docs to store
- command: |
- cd docs
- make html
- # Tell Circle to store the documentation output in a folder that we can access later
- - store_artifacts:
- path: docs/build/html/
- destination: html
-
-# Tell CircleCI to use this workflow when it builds the site
-workflows:
- version: 2
- default:
- jobs:
- - build_docs

Remove CircleCI docs build

Same as our RTD build, and the previews there are
nicer