Allow manually running `release` GH workflow (#1848)

.github/workflows/release.yml

@@ -1,6 +1,12 @@
 name: Release
 
 on:
+  workflow_dispatch:
+    inputs:
+      releaseVersion:
+        description: The release version for which to build and upload artifacts
+        required: true
+        type: string
   release:
     types: [ published ]
 
@@ -11,8 +17,13 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
-      - name: Extract release version
+      - name: Extract release version when job started by release being published
         run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV
+        if: ${{ github.event_name == 'release' }}
+
+      - name: Extract release version when job manually started
+        run: echo "RELEASE_VERSION=${{ inputs.releaseVersion }}" >> $GITHUB_ENV
+        if: ${{ github.event_name == 'workflow_dispatch' }}
 
       - name: Build the plugins
         run: |