Merge pull request 'Release workflow: upload through the public URL again; smaller jars' (#14) from release-public-url into master

Co-Authored-By: Claude Opus 5.5 <[email protected]>

.gitea/workflows/release.yml

@@ -4,13 +4,27 @@ name: Release
 # to it. mod_version in gradle.properties is the source of truth: the release
 # tag must match it (a leading "v" is allowed), so bump mod_version in a PR
 # before tagging the release.
+#
+# To (re)attach jars to an existing release, run this workflow manually with
+# the release's tag.
 on:
   release:
     types: [published]
+  workflow_dispatch:
+    inputs:
+      tag:
+        description: Tag of the existing release to build and attach jars to
+        required: true
 
 permissions:
   contents: write
 
+env:
+  TAG: ${{ github.event.release.tag_name || inputs.tag }}
+  # The public address. Uploads go through the Cloudflare tunnel, which caps
+  # request bodies at 100 MB, so each mod jar must stay under that.
+  GITEA_API: ${{ github.server_url }}/api/v1
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -18,11 +32,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
         with:
+          ref: ${{ env.TAG }}
           submodules: true
 
       - name: Check tag matches mod_version
-        env:
-          TAG: ${{ github.event.release.tag_name }}
         run: |
           MOD_VERSION="$(sed -n 's/^mod_version=//p' gradle.properties | tr -d '[:space:]')"
           if [ "${TAG#v}" != "$MOD_VERSION" ]; then
@@ -47,7 +60,7 @@ jobs:
       - name: Upload jars to the release
         env:
           TOKEN: ${{ secrets.GITEA_TOKEN }}
-          ASSETS_URL: ${{ github.server_url }}/api/v1/repos/${{ github.repository }}/releases/${{ github.event.release.id }}/assets
+          REPO: ${{ github.repository }}
         run: |
           shopt -s nullglob
           jars=(build/allJars/*.jar)
@@ -56,11 +69,29 @@ jobs:
             exit 1
           fi
 
+          # Cloudflare in front of the server rejects uploads of 100 MB or more.
           for jar in "${jars[@]}"; do
-            echo "Uploading $(basename "$jar")"
+            size=$(stat -c%s "$jar")
+            if [ "$size" -ge 100000000 ]; then
+              echo "::error::$(basename "$jar") is $((size / 1000000)) MB; uploads must be under 100 MB. Check what's taking space with: unzip -l \"$jar\" | sort -n" >&2
+              exit 1
+            fi
+          done
+
+          # Look the release up by tag so manual runs work too.
+          RELEASE_ID="$(curl --fail-with-body -sS -H "Authorization: token $TOKEN" \
+            "$GITEA_API/repos/$REPO/releases/tags/$TAG" \
+            | grep -o '"id":[0-9]*' | head -n1 | cut -d: -f2)"
+          if [ -z "$RELEASE_ID" ]; then
+            echo "No release found for tag $TAG" >&2
+            exit 1
+          fi
+
+          for jar in "${jars[@]}"; do
+            echo "Uploading $(basename "$jar") to release $TAG ($RELEASE_ID)"
             curl --fail-with-body -sS -X POST \
               -H "Authorization: token $TOKEN" \
               -F "attachment=@$jar" \
-              "$ASSETS_URL"
+              "$GITEA_API/repos/$REPO/releases/$RELEASE_ID/assets"
             echo
           done