docs.yml

name: Documentation

on:
    push:
        branches: [ main ]
    pull_request:
        branches: [ main ]

jobs:
    docs:
        name: "GitHub Pages"
        runs-on: ubuntu-latest

        permissions:
            contents: write

        steps:
            - name: "Checkout Git repository"
              uses: actions/checkout@v4

            - name: "Set up Pixi"
              uses: prefix-dev/setup-pixi@v0.8.8
              with:
                  pixi-version: v0.59.0
                  cache: true

            - name: "Build documentation"
              run: |
                  pixi run docs-build

            - name: "Deploy to GitHub Pages"
              uses: peaceiris/actions-gh-pages@v3
              if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
              with:
                  publish_branch: gh-pages
                  github_token: ${{ secrets.GITHUB_TOKEN }}
                  publish_dir: _build/
                  force_orphan: true