Continue with publishing if the job was manually triggered

The [`workflow_dispatch`] event occurs when the job is manually
triggered. Manually triggering a publish should skip the empty release
check.

[`workflow_dispatch`]: https://docs.github.com/en/actions/reference/events-that-trigger-workflows#workflow_dispatch

.github/workflows/publish.yml

@@ -38,8 +38,10 @@ jobs:
           CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
         shell: bash
         run: |
+          # Check if we can skip releasing a new version
+          # (there are no changes and the job was not manually triggered)
           export CHANGED=$(cargo workspaces changed --ignore-changes "**/Cargo.toml")
-          if [[ -z "$CHANGED" ]]; then
+          if [[ -z "$CHANGED" && "$GITHUB_EVENT_NAME" != "workflow_dispatch" ]]; then
             # Nothing has changed, so don't publish a new version
             exit 0
           fi