pages-build-and-deploy.yml

name: pages-build-and-deploy

# Only run this workflow when a diepvries/* tag gets pushed
on:
  push:
    tags:
      - diepvries/*

jobs:
  deploy-github-pages:
    runs-on: ubuntu-22.04

    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}

    permissions:
      pages: write # to deploy to Pages
      id-token: write # to verify the deployment originates from an appropriate source

    steps:
      - name: Checkout repository
        uses: actions/checkout@v4.1.6
        with:
          fetch-depth: 0
      - name: Setup Python
        uses: actions/setup-python@v5.1.0
        with:
          python-version: 3.9
      - name: Install dependencies
        run: |
          sudo apt update
          sudo apt install -y graphviz
          python -m pip install tox
      - name: Run tox
        run: python -m tox -e doc
      - name: Configure Pages
        uses: actions/configure-pages@v5.0.0
      - name: Upload GitHub Pages artifact
        uses: actions/upload-pages-artifact@v3.0.1
        with:
          path: doc/html
      - name: Deploy GitHub Pages site
        id: deployment
        uses: actions/deploy-pages@v4.0.5