CI: Misc fixes

- Avoid duplicate runs when creating a tag
- Switch to manual releases

.github/workflows/main.yml

@@ -1,6 +1,15 @@
 name: Java CI
 
-on: [push, pull_request, workflow_dispatch]
+on:
+  push:
+    branches: ['**']
+  pull_request:
+  workflow_dispatch:
+  release:
+    types: [published]
+
+permissions:
+  contents: write
 
 jobs:
   build-natives:
@@ -97,25 +106,22 @@ jobs:
         path: dist/*.zip
 
   release:
-   runs-on: "ubuntu-latest"
-   needs: build-extension
+    runs-on: "ubuntu-latest"
+    needs: build-extension
+    if: github.event_name == 'release'
 
-   steps:
-   - name: Get current date
-     id: date
-     run: echo "::set-output name=date::$(date +'%Y%m%d')"
-
-   - name: Download binaries
-     uses: actions/download-artifact@v4
-     with:
+    steps:
+    - name: Download binaries
+      uses: actions/download-artifact@v4
+      with:
         pattern: firmware_utils_ghidra_*
         path: dist/
         merge-multiple: true
 
-   - name: Release
-     if: github.ref == 'refs/heads/main'
-     uses: marvinpinto/[email protected]
-     with:
-       repo_token: "${{ secrets.GITHUB_TOKEN }}"
-       title: "${{steps.date.outputs.date}}.0"
-       files: dist/*.zip
+    - name: Upload to Releases
+      uses: svenstaro/upload-release-action@v2
+      with:
+        repo_token: ${{ secrets.GITHUB_TOKEN }}
+        file: dist/*.zip
+        tag: ${{ github.ref }}
+        file_glob: true