deploy-web.yaml

name: Build and deploy docs to GitHub Pages
on:
  push:
    branches:
      - master
      - main
  workflow_dispatch:

permissions:
  contents: write

jobs:
  deploy:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          fetch-depth: 0  # Required for git-revision-date-localized-plugin
      - uses: actions/setup-python@v5
        with:
          python-version: "3.12"
      - name: Install Hathch
        run: pip install hatch
      - uses: actions/cache@v4
        with:
          key: mkdocs-${{ github.ref }}
          path: .cache
      - name: Install dependencies
        run: |
          pip install -e ".[docs]"
          sudo apt-get install -y doxygen
      - name: Deploy docs
        run: make docs-deploy