Merge pull request #1053 from yuvipanda/no-circle

Remove CircleCI docs build

.circleci/config.yml

@@ -1,43 +0,0 @@
-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