[.github] fix(release): use unique asset names for ABI binaries

Author: harusharu

.github/workflows/release.yml

@@ -133,6 +133,11 @@ jobs:
           make checksums TAG="${TAG}" REPO="${GITHUB_REPOSITORY}"
           make update-json TAG="${TAG}" REPO="${GITHUB_REPOSITORY}"
 
+          cp -f bin/arm64-v8a/andro dist/andro-arm64-v8a
+          cp -f bin/armeabi-v7a/andro dist/andro-armeabi-v7a
+          cp -f bin/x86/andro dist/andro-x86
+          cp -f bin/x86_64/andro dist/andro-x86_64
+
           echo "zip_name=${ZIP_NAME}" >> "${GITHUB_OUTPUT}"
           echo "zip_path=${ZIP_PATH}" >> "${GITHUB_OUTPUT}"
 
@@ -155,10 +160,20 @@ jobs:
             ${{ steps.package.outputs.zip_path }}.sha256
             dist/update.json
             dist/andro-binaries.sha256
-            bin/arm64-v8a/andro
-            bin/armeabi-v7a/andro
-            bin/x86/andro
-            bin/x86_64/andro
+            dist/andro-arm64-v8a
+            dist/andro-armeabi-v7a
+            dist/andro-x86
+            dist/andro-x86_64
+
+      - name: Verify Published Release
+        shell: bash
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          set -euo pipefail
+          gh release view "${{ steps.meta.outputs.tag }}" \
+            --repo "${GITHUB_REPOSITORY}" \
+            --json tagName,name,isDraft,isPrerelease,url
 
       - name: Upload Dist Artifact
         uses: actions/upload-artifact@v4