ci: deploy docs on release instead of every push to main

Deploy the documentation site when a version is released instead of on every push to main, so the published docs describe the latest *released* library rather than unreleased main.

changesets already creates a GitHub Release on publish, so trigger on `release: published` (the release tag's commit is checked out, matching the released code). `workflow_dispatch` stays as a manual redeploy escape hatch for docs-only fixes between releases.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: btravers

.github/workflows/deploy-docs.yml

@@ -1,12 +1,11 @@
 name: Deploy Documentation
 
+# Publish docs when a version is released (changesets creates a GitHub Release on publish), so the
+# site documents the latest *released* library rather than every commit on main. `workflow_dispatch`
+# is a manual redeploy escape hatch for docs-only fixes between releases.
 on:
-  workflow_run:
-    workflows: ["CI"]
-    types:
-      - completed
-    branches:
-      - main
+  release:
+    types: [published]
   workflow_dispatch:
 
 permissions:
@@ -25,7 +24,6 @@ jobs:
   build:
     runs-on: ubuntu-latest
     timeout-minutes: 15
-    if: ${{ github.event_name == 'workflow_dispatch' || github.event.workflow_run.conclusion == 'success' }}
     steps:
       - name: Checkout
         uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7