docs-release.yml

name: Deploy release docs

on:
  workflow_run:
    workflows: ["Generate changelog"]
    types: [completed]

permissions:
  contents: write

concurrency:
  group: docs-deploy
  cancel-in-progress: false

jobs:
  deploy:
    runs-on: ubuntu-latest
    if: github.event.workflow_run.conclusion == 'success'
    steps:
      - name: Checkout release tag
        id: checkout
        uses: TaiSakuma/checkout-version-tag@v1
        with:
          trigger-tag: ${{ github.event.workflow_run.head_branch }}

      - name: Extract version
        id: version
        run: echo "version=${TAG#v}" >> "$GITHUB_OUTPUT"
        env:
          TAG: ${{ steps.checkout.outputs.release-tag }}

      - uses: astral-sh/setup-uv@v7

      - uses: ./.github/actions/build-docs
        id: build
        with:
          subdir: ${{ steps.version.outputs.version }}

      - name: Configure git
        run: |
          git config user.name "github-actions[bot]"
          git config user.email "github-actions[bot]@users.noreply.github.com"

      - uses: ./.github/actions/deploy-to-gh-pages
        with:
          site-dir: ${{ steps.build.outputs.site-dir }}
          target: ${{ steps.version.outputs.version }}
          commit-message: Deploy docs for v${{ steps.version.outputs.version }}

      - name: Update latest
        run: |
          git worktree add /tmp/gh-pages gh-pages
          cd /tmp/gh-pages
          rm -rf latest
          cp -r "${{ steps.build.outputs.site-dir }}" latest
          git add latest
          git commit -m "Update latest"
          git push origin gh-pages

      - run: git worktree remove /tmp/gh-pages

      - uses: ./.github/actions/update-index
        with:
          repo-name: ${{ github.event.repository.name }}
          repo-url: ${{ github.event.repository.html_url }}