dev-docs-publish.yml

name: Publish Docs

on:
  push:
    branches:
      - main
    paths:
      - "docs/**"
      - "mkdocs.yml"
  workflow_dispatch:
    inputs:
      version:
        description: "Version to deploy (e.g., 1.0.0 or dev)"
        required: false
        default: "dev"

permissions:
  contents: write
  actions: write

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

jobs:
  deploy:
    name: Deploy Docs
    runs-on: ubuntu-latest

    steps:
      - name: Checkout code
        uses: actions/checkout@v4
        with:
          fetch-depth: 0

      - name: Setup environment
        uses: ./.github/actions/setup
        with:
          sync-args: --group dev
          configure-git-identity: 'true'

      - name: Fetch gh-pages branch
        run: |
          git fetch origin gh-pages --depth=1 || echo "gh-pages branch does not exist yet"

      - name: Deploy dev docs (main branch)
        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
        run: uv run mike deploy --push dev