name: Deploy to GitHub pages

on:
  push:
    branches: ["main"]

  # Allow running this workflow manually from the Actions tab
  workflow_dispatch:

# Allow only one concurrent deployment
concurrency:
  group: "pages"
  cancel-in-progress: false

jobs:
  build:
    runs-on: ubuntu-latest
    permissions:
      contents: read

    steps:
      - uses: actions/checkout@v5

      - name: Set up Python
        uses: actions/setup-python@v4

      - name: Install dependencies from pip
        run: pip install sphinx sphinx-rtd-theme sphinx-autoapi myst-parser

      - name: Build with sphinx
        run: sphinx-build -M html doc/ doc/

      - name: Move output to target directory
        run: mv doc/html public_html/

      - name: Upload pages artifact
        id: deployment
        uses: actions/upload-pages-artifact@v3
        with:
          path: public_html/

  deploy:
    needs: build
    runs-on: ubuntu-latest
    permissions:
      contents: read
      pages: write
      id-token: write
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}

    steps:
      - name: Deploy to GitHub Pages
        id: deployment
        uses: actions/deploy-pages@v4
