chore: use workflow dispatch to publish (#170)

Author: ahabhgk

.github/workflows/Publish.yaml

@@ -1,8 +1,18 @@
 name: Publish
 
 on:
-  release:
-    types: [published]
+  workflow_dispatch:
+    inputs:
+      dry_run:
+        type: boolean
+        description: "DryRun release"
+        required: true
+        default: false
+      push_tags:
+        type: boolean
+        description: "Push tags to repository"
+        required: true
+        default: true
 
 jobs:
   publish:
@@ -12,8 +22,17 @@ jobs:
       id-token: write # Required for OIDC token exchange
     steps:
     - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5
-    - uses: rust-lang/crates-io-auth-action@63a7064947ceca9989005e118db3a5fecdc9259f # v1.0.1
+    - uses: rust-lang/crates-io-auth-action@e919bc7605cde86df457cf5b93c5e103838bd879 # v1.0.1
       id: auth
-    - run: cargo publish -vv
+    - run: cargo publish -vv ${{ inputs.dry_run && '--dry-run' || '' }}
       env:
         CARGO_REGISTRY_TOKEN: ${{ steps.auth.outputs.token }}
+    - if: ${{ inputs.push_tags }}
+      run: |
+        PUBLISHED_VERSION=$(cargo metadata --format-version=1 --no-deps | jq -r '.packages[0].version')
+        git config --global --add safe.directory /github/workspace
+        git config --global user.name "github-actions[bot]"
+        git config --global user.email "github-actions[bot]@users.noreply.github.com"
+        git status
+        git tag $PUBLISHED_VERSION -m $PUBLISHED_VERSION
+        git push origin --follow-tags