WIP release upload

Author: neilcsmith-net

.github/workflows/build.yaml

@@ -3,6 +3,9 @@ name: Build
 on:
   workflow_dispatch:
     inputs:
+      release-tag:
+        description: Release to upload artefacts to (optional).
+        type: string
       build-deb-x64:
         description: 'Build Linux .deb for x86_64'
         type: boolean
@@ -33,6 +36,17 @@ jobs:
         uses: actions/checkout@v5
         with:
           persist-credentials: false
+      - name: Validate release tag
+        if: ${{ inputs.release-tag }}
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          RELEASE_TAG: ${{ inputs.release-tag }}
+        run: |
+          if ! gh release view "${RELEASE_TAG}" &> /dev/null;
+            then
+              echo "Release ${RELEASE_TAG} does not exist"
+              exit 1
+          fi
       - name: Setup JDK
         uses: actions/setup-java@v5
         with:
@@ -73,12 +87,22 @@ jobs:
           DPKG_DEB_COMPRESSOR_TYPE: xz
         run: java Exec.java build linux x64 deb
       - name: Upload
+        if: ${{ ! inputs.release-tag }}
         uses: actions/upload-artifact@v5
         with:
           name: linux-deb-x64
           path: |
             dist/*.deb
             dist/*.deb.sha*
+      - name: Upload to release
+        if: ${{ inputs.release-tag }}
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          RELEASE_TAG: ${{ inputs.release-tag }}
+        working-directory: ./dist
+        run: |
+          cat *.deb.sha*
+          gh release upload "${RELEASE_TAG}" *.deb
 
   build-deb-arm:
     name: Build Linux .deb for aarch64