build-and-publish-doc.yml

name: Build and publish documentation

on:
  workflow_dispatch:
  pull_request:
    paths:
      - 'doc/**'
  push:
    branches:
      - master
    paths:
      - 'doc/**'

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  build-and-upload:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4

    - uses: pnpm/action-setup@v4
      name: Install pnpm
      with:
        version: 9
        run_install: false

    - name: Install Node.js
      uses: actions/setup-node@39370e3970a6d050c480ffad4ff0ed4d3fdee5af # v4
      with:
        node-version: 20
        cache: 'pnpm'
        cache-dependency-path: 'doc/pnpm-lock.yaml'

    - name: Install dependencies
      working-directory: doc
      run: pnpm install

    - name: Build documentation
      working-directory: doc
      run: pnpm run build

    - uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3
      with:
        path: doc/dist

  deploy:
    needs: build-and-upload
    if: ${{ github.ref == 'refs/heads/master' }}

    runs-on: ubuntu-latest

    permissions:
      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@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4