Update release workflow to set gradle.properties version on manual dispatch (#7528)

When the release workflow is triggered manually via workflow_dispatch,
the gradle.properties version is now updated to match the entered tag
name (with the v prefix stripped). This runs before validation in the
create_release job and before the build in the build_release job.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: karianna

.github/workflows/gradle-release.yml

@@ -28,6 +28,16 @@ jobs:
         with:
           ref: ${{ inputs.tag_name || github.ref }}
 
+      - name: Update gradle.properties with release version
+        if: github.event_name == 'workflow_dispatch'
+        run: |
+          TAG_NAME="${{ inputs.tag_name }}"
+          VERSION="${TAG_NAME#v}"
+          echo "Updating gradle.properties version to ${VERSION}"
+          sed -i "s/^version=.*/version=${VERSION}/" gradle.properties
+          echo "Updated gradle.properties:"
+          grep '^version=' gradle.properties
+
       - name: Validate tag matches gradle.properties version
         run: |
           TAG_NAME="${{ inputs.tag_name || github.ref_name }}"
@@ -100,6 +110,17 @@ jobs:
         with:
           ref: ${{ inputs.tag_name || github.ref }}
 
+      - name: Update gradle.properties with release version
+        if: github.event_name == 'workflow_dispatch'
+        run: |
+          TAG_NAME="${{ inputs.tag_name }}"
+          VERSION="${TAG_NAME#v}"
+          echo "Updating gradle.properties version to ${VERSION}"
+          sed -i.bak "s/^version=.*/version=${VERSION}/" gradle.properties
+          rm -f gradle.properties.bak
+          echo "Updated gradle.properties:"
+          grep '^version=' gradle.properties
+
       - name: Update PCGenProp.properties with release version and date
         run: |
           PROPS_FILE="code/src/resources/pcgen/system/prop/PCGenProp.properties"