ci: add workflow_dispatch to Release workflow for manual retries

Allow re-publishing a release tag when the published event cannot be
re-triggered, and checkout the release tag explicitly in sonar/publish.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: bartveenstra

.github/workflows/release.yml

@@ -4,18 +4,25 @@ on:
   release:
     types:
       - published
+  workflow_dispatch:
+    inputs:
+      tag_name:
+        description: 'Release tag to publish (e.g. v0.18.3)'
+        required: true
 
 permissions:
   contents: write
   pull-requests: write
 
 jobs:
   sonar:
-    if: "!contains(github.event.head_commit.message, '[version bump]')"
+    if: github.event_name == 'workflow_dispatch' || !contains(github.event.head_commit.message, '[version bump]')
     runs-on: ubuntu-latest
     steps:
       - name: Checkout project
         uses: actions/checkout@v6
+        with:
+          ref: ${{ github.event.release.tag_name || github.event.inputs.tag_name || github.ref }}
       - name: Setup Java
         uses: actions/setup-java@v5
         with:
@@ -29,12 +36,14 @@ jobs:
         run: mvn -B verify sonar:sonar -Dgpg.skip
 
   publish:
-    if: "!contains(github.event.head_commit.message, '[version bump]')"
+    if: github.event_name == 'workflow_dispatch' || !contains(github.event.head_commit.message, '[version bump]')
     runs-on: ubuntu-latest
     needs: [ sonar ]
     steps:
       - name: Checkout project
         uses: actions/checkout@v6
+        with:
+          ref: ${{ github.event.release.tag_name || github.event.inputs.tag_name || github.ref }}
 
       - name: Setup Java
         uses: actions/setup-java@v5
@@ -54,8 +63,9 @@ jobs:
           git config user.name "GitHub Actions"
 
       - name: Setup release version from tag
+        env:
+          RELEASE_TAG: ${{ github.event.release.tag_name || github.event.inputs.tag_name }}
         run: |
-          RELEASE_TAG="${{ github.event.release.tag_name }}"
           NEW_VERSION="${RELEASE_TAG#v}"
           echo "NEW_VERSION=${NEW_VERSION}" >> $GITHUB_ENV
 
@@ -92,14 +102,14 @@ jobs:
           git push origin release-$NEW_VERSION
 
   bump:
-    if: "!contains(github.event.head_commit.message, '[version bump]')"
+    if: github.event_name == 'workflow_dispatch' || !contains(github.event.head_commit.message, '[version bump]')
     runs-on: ubuntu-latest
     needs: [ publish ]
     steps:
       - name: Resolve base branch
         id: base
         run: |
-          REF="${{ github.event.release.target_commitish }}"
+          REF="${{ github.event.release.target_commitish || 'main' }}"
           REF="${REF#refs/heads/}"
           echo "branch=${REF}" >> $GITHUB_OUTPUT
 
@@ -123,7 +133,7 @@ jobs:
       - name: Bump And Update POM Version to new Development version
         id: bump_version
         run: |
-          RELEASE_VERSION="${{ github.event.release.tag_name }}"
+          RELEASE_VERSION="${{ github.event.release.tag_name || github.event.inputs.tag_name }}"
           RELEASE_VERSION="${RELEASE_VERSION#v}"
           VERSION_PARTS=($(echo "$RELEASE_VERSION" | tr "." "\n"))
           NEW_VERSION="${VERSION_PARTS[0]}.${VERSION_PARTS[1]}.$((VERSION_PARTS[2]+1))-SNAPSHOT"