Release-0.1.4

.github/workflows/create-tag.yml

@@ -9,6 +9,7 @@ on:
 permissions:
   contents: write
   pull-requests: write
+  actions: write
 
 jobs:
   create-tag:
@@ -106,6 +107,18 @@ jobs:
           git tag "$version"
           git push origin "$version"
 
+      - name: Trigger docs deployment
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          version="${{ steps.extract_version.outputs.version }}"
+          # A tag pushed with GITHUB_TOKEN does not trigger other workflows
+          # (GitHub's anti-recursion protection), so the docs.yml "on.push.tags"
+          # trigger never fires for releases created here. Dispatch it
+          # explicitly instead, pinned to the release tag so the published
+          # docs resolve the clean release version via setuptools_scm.
+          gh workflow run docs.yml --ref "$version"
+
       - name: Create GitHub Release
         uses: softprops/action-gh-release@v2
         with:

.github/workflows/docs.yml

@@ -65,9 +65,13 @@ jobs:
     # Only deploy from an actual release tag: setuptools_scm only produces a
     # clean version (e.g. "0.1.2") when building from the exact tagged
     # commit. Building from a branch push resolves to a dev version (e.g.
-    # "0.1.2.dev0+g...") because the release tag doesn't exist yet at
-    # merge time - it's created by a later step in create-tag.yml.
-    if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/')
+    # "0.1.2.dev0+g...") because the release tag doesn't exist yet at merge
+    # time - it's created by a later step in create-tag.yml, which then
+    # dispatches this workflow with `--ref <tag>` (a tag *push* made with
+    # GITHUB_TOKEN wouldn't trigger this workflow at all - see create-tag.yml).
+    # workflow_dispatch is also allowed regardless of ref, so a missed/broken
+    # release can be redeployed manually without cutting a new version.
+    if: startsWith(github.ref, 'refs/tags/') || github.event_name == 'workflow_dispatch'
     needs: build
     runs-on: ubuntu-latest
     environment:

CHANGELOG.md

@@ -4,6 +4,13 @@ All notable changes to this project will be documented in this file.
 
 ## Next Release
 
+### Bug Fixes
+
+#### Documentation
+
+- Explicitly dispatch the `Docs` workflow from `create-tag.yml` instead of relying on the tag push to trigger it, since pushes made with `GITHUB_TOKEN` don't trigger other workflows (GitHub's anti-recursion protection) - the release tag push was silently never deploying the docs
+- Allow the `Docs` workflow to be redeployed manually via `workflow_dispatch` regardless of ref
+
 <!-- insertion marker -->
 ## [0.1.3](https://github.com/repo/owner/releases/tag/0.1.3) - 2026-09-13