ci(docs): redeploy docs on release publish and manual dispatch (#326)

The mkdocs-material header version badge is baked into the static HTML at
gh-deploy time from the GitHub Releases API. Since docs.yml only triggered
on docs/ or mkdocs.yml changes, code-only releases (v2.11.0, v2.11.1) never
rebuilt the site, leaving the badge frozen at v2.10.0. Add release:published
and workflow_dispatch triggers so the docs (and badge) refresh on every
release and on demand.

Author: hokiepokedad2

.github/workflows/docs.yml

@@ -6,6 +6,12 @@ on:
     paths:
       - 'docs/**'
       - 'mkdocs.yml'
+  # Rebuild when a release is published so the mkdocs-material version badge
+  # (fetched at build time from the GitHub Releases API) stays current even
+  # when a release touches only code/CHANGELOG and not docs/.
+  release:
+    types: [published]
+  workflow_dispatch:
 
 permissions:
   contents: write