netlify.yml

name: Deploy documentation to Netlify

on:
  push:
    branches:
      - main
  # release.yml dispatches this workflow after pushing the "new version"
  # commit, which goes out under GITHUB_TOKEN and therefore doesn't trigger
  # the push branch above.
  workflow_dispatch:

jobs:
  check-docs-changes:
    runs-on: ubuntu-latest

    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@9af89fc71515a100421586dfdb3dc9c984fbf411 # v2.19.4
        with:
          egress-policy: audit
      - name: Checkout code
        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6
        with:
            fetch-depth: 2
    
      - name: Check if /docs/ has changes
        id: check_docs
        run: |
            changes=$(git diff --name-only HEAD~1 HEAD | grep '^docs/' || true)
            if [ -z "$changes" ]; then
            echo "No changes in /docs/. Skipping deployment."
            echo "deploy=false" >> $GITHUB_OUTPUT
            else
            echo "Changes detected in /docs/. Proceeding with deployment."
            echo "deploy=true" >> $GITHUB_OUTPUT
            fi
          
      - name: Deploy to Netlify
        if: steps.check_docs.outputs.deploy == 'true'
        env:
          NETLIFY_BUILD_HOOK_URL: ${{ secrets.NETLIFY_BUILD_HOOK_URL }}
        run: |
          curl -X POST -d {} -H "Content-Type: application/json" $NETLIFY_BUILD_HOOK_URL
        continue-on-error: true