ci: add workflow_dispatch to release-binary workflow (#46)

Allows manually triggering the binary build and upload against an
existing release tag. Needed when a release is created before the
workflow was present in main.

Co-authored-by: Oliver Binns <obinns@deloitte.co.uk>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: 3 people

.github/workflows/release-binary.yml

@@ -3,6 +3,11 @@ name: Build Release Binary
 on:
   release:
     types: [published]
+  workflow_dispatch:
+    inputs:
+      tag:
+        description: 'Release tag to upload the binary to (e.g. 1.4.6)'
+        required: true
 
 jobs:
   build:
@@ -24,6 +29,6 @@ jobs:
             .build/x86_64-apple-macosx/release/Run
 
       - name: Upload Binary to Release
-        run: gh release upload ${{ github.event.release.tag_name }} Run
+        run: gh release upload ${{ github.event.release.tag_name || inputs.tag }} Run
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}