diff --git a/.circleci/config.yml b/.circleci/config.yml deleted file mode 100644 index 925feea2..00000000 --- a/.circleci/config.yml +++ /dev/null @@ -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