Add workflow_dispatch trigger to release CI

Author: Michael Yuan

.github/workflows/release.yml

@@ -3,6 +3,11 @@ name: Release
 on:
   release:
     types: [published]
+  workflow_dispatch:
+    inputs:
+      tag:
+        description: "Release tag (e.g. v0.1.9)"
+        required: true
 
 jobs:
   tokenizers:
@@ -152,4 +157,6 @@ jobs:
       - name: Upload release asset
         env:
           GH_TOKEN: ${{ github.token }}
-        run: gh release upload "${{ github.event.release.tag_name }}" "${{ matrix.asset-name }}.zip"
+        run: |
+          TAG="${{ github.event.release.tag_name || inputs.tag }}"
+          gh release upload "$TAG" "${{ matrix.asset-name }}.zip"