deploy.yaml

# Build the docs and deploy them to the GitHub pages docs site
name: Deploy

on:  # yamllint disable-line rule:truthy
  push:
    branches:
    - master
    - main

jobs:
  deploy:
    name: Build and Deploy Docs

    runs-on: ubuntu-latest

    steps:
    - name: Checkout repository
      uses: actions/checkout@v3
      with:
        fetch-depth: 0
    - name: Set up Python
      uses: actions/setup-python@v4
      with:
        python-version: '3.9'
    - name: Install dependencies
      shell: bash
      run: ./ci/install.sh
    - name: List dependencies
      shell: bash
      run: pip list
    - name: Build with Sphinx
      shell: bash
      run: ./ci/build.sh
    - name: Deploy to GitHub Pages
      uses: JamesIves/github-pages-deploy-action@v4
      with:
        FOLDER: ./doc/_build/html      # The folder the action should deploy
        CLEAN: true      # Automatically remove deleted files from the deploy branch