Replace deprecated upload-release-asset with action-gh-release

This is the recommended replacement and is also what we are already
using successfully in, e.g., cbmc-viewer.

Fixes: #7280

Author: tautschnig

.github/workflows/release-packages.yaml

@@ -57,16 +57,10 @@ jobs:
           deb_package_name="$(ls *.deb)"
           echo "deb_package=./build/$deb_package_name" >> $GITHUB_OUTPUT
           echo "deb_package_name=ubuntu-24.04-$deb_package_name" >> $GITHUB_OUTPUT
-      - name: Get release info
-        id: get_release_info
-        uses: bruceadams/get-release@v1.3.2
       - name: Upload binary packages
-        uses: actions/upload-release-asset@v1
+        uses: softprops/action-gh-release@v2
         with:
-          upload_url: ${{ steps.get_release_info.outputs.upload_url }}
-          asset_path: ${{ steps.create_packages.outputs.deb_package }}
-          asset_name: ${{ steps.create_packages.outputs.deb_package_name }}
-          asset_content_type: application/x-deb
+          files: ${{ steps.create_packages.outputs.deb_package }}
       - name: Slack notification of CI status
         uses: rtCamp/action-slack-notify@v2
         if: success() || failure()
@@ -128,16 +122,10 @@ jobs:
           deb_package_name="$(ls *.deb)"
           echo "deb_package=./build/$deb_package_name" >> $GITHUB_OUTPUT
           echo "deb_package_name=ubuntu-24.04-arm64-$deb_package_name" >> $GITHUB_OUTPUT
-      - name: Get release info
-        id: get_release_info
-        uses: bruceadams/get-release@v1.3.2
       - name: Upload binary packages
-        uses: actions/upload-release-asset@v1
+        uses: softprops/action-gh-release@v2
         with:
-          upload_url: ${{ steps.get_release_info.outputs.upload_url }}
-          asset_path: ${{ steps.create_packages.outputs.deb_package }}
-          asset_name: ${{ steps.create_packages.outputs.deb_package_name }}
-          asset_content_type: application/x-deb
+          files: ${{ steps.create_packages.outputs.deb_package }}
       - name: Slack notification of CI status
         uses: rtCamp/action-slack-notify@v2
         if: success() || failure()
@@ -199,16 +187,10 @@ jobs:
           deb_package_name="$(ls *.deb)"
           echo "deb_package=./build/$deb_package_name" >> $GITHUB_OUTPUT
           echo "deb_package_name=ubuntu-22.04-$deb_package_name" >> $GITHUB_OUTPUT
-      - name: Get release info
-        id: get_release_info
-        uses: bruceadams/get-release@v1.3.2
       - name: Upload binary packages
-        uses: actions/upload-release-asset@v1
+        uses: softprops/action-gh-release@v2
         with:
-          upload_url: ${{ steps.get_release_info.outputs.upload_url }}
-          asset_path: ${{ steps.create_packages.outputs.deb_package }}
-          asset_name: ${{ steps.create_packages.outputs.deb_package_name }}
-          asset_content_type: application/x-deb
+          files: ${{ steps.create_packages.outputs.deb_package }}
       - name: Slack notification of CI status
         uses: rtCamp/action-slack-notify@v2
         if: success() || failure()
@@ -326,16 +308,10 @@ jobs:
         id: verify_codesign
         run: |
           & signtool.exe verify /pa ${{ steps.create_packages.outputs.msi_installer }}
-      - name: Get release info
-        id: get_release_info
-        uses: bruceadams/get-release@v1.3.2
       - name: Upload binary packages
-        uses: actions/upload-release-asset@v1
+        uses: softprops/action-gh-release@v2
         with:
-          upload_url: ${{ steps.get_release_info.outputs.upload_url }}
-          asset_path: ${{ steps.create_packages.outputs.msi_installer }}
-          asset_name: ${{ steps.create_packages.outputs.msi_name }}
-          asset_content_type: application/x-msi
+          files: ${{ steps.create_packages.outputs.msi_installer }}
       - name: Slack notification of CI status
         if: success() || failure()
         env: