pages.yml

name: Pages

on:
  push:
    branches:
      - dev
  workflow_dispatch: {}

permissions:
  contents: read
  pages: write
  id-token: write

concurrency:
  group: "pages"
  cancel-in-progress: true

jobs:
  build-and-deploy:
    # Only run automatically when the HEAD commit message contains "PAGES".
    # Example: git commit -m "PAGES: update docs"
    if: ${{ github.event_name == 'workflow_dispatch' || contains(github.event.head_commit.message, 'PAGES') }}
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4

      - name: Set up Python
        uses: actions/setup-python@v5
        with:
          python-version: "3.11"
          cache: "pip"

      - name: Install MkDocs dependencies
        run: |
          python -m pip install --upgrade pip
          python -m pip install mkdocs-material pymdown-extensions

      - name: Build site
        run: |
          mkdocs build -f mkdocs.yml --clean

      - name: Configure GitHub Pages
        uses: actions/configure-pages@v5

      - name: Upload Pages artifact
        uses: actions/upload-pages-artifact@v3
        with:
          path: site

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