ci: allow crates.io publish on workflow_dispatch (push-only skipped it)

Author: us

.github/workflows/release.yml

@@ -247,7 +247,10 @@ jobs:
   publish-crate:
     name: Publish to crates.io
     needs: release
-    if: ${{ github.event_name == 'push' }}
+    # release-please creates the tag with GITHUB_TOKEN, which does NOT fire a `push` event — so the
+    # push-only guard skipped publishing. Also allow workflow_dispatch as a manual publish lever:
+    # `gh workflow run release.yml -f tag=vX.Y.Z`. (Needs CARGO_REGISTRY_TOKEN secret.)
+    if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }}
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4