chore(release): allow to manually push a release

Author: ggrossetie

Diff for: .github/workflows/release.yml

@@ -4,10 +4,22 @@ on:
   push:
     tags:
       - 'v*' # Push events to matching v*, i.e. v1.0, v2.1.3
+  workflow_dispatch:
+    inputs:
+      release_version:
+        description: 'Release version'
+        required: false
+        type: string
+      create_release:
+        description: 'Create a GitHub release'
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   release:
     runs-on: ubuntu-22.04
+    if:  ${{ inputs.create_release }}
     steps:
       - uses: actions/checkout@v4
       - name: Install GraphViz
@@ -19,7 +31,12 @@ jobs:
           distribution: temurin
       - name: Build Java server
         run: make buildServer
-      - run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV
+      - if: github.event_name == 'push'
+        run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV
+      - if: github.event_name == 'workflow_dispatch'
+        run: echo "RELEASE_VERSION=$RELEASE_VERSION" >> $GITHUB_ENV
+        env:
+          RELEASE_VERSION=${{ inputs.release_version }}
       - name: Generate checksums
         run: |
           cp kroki-server.jar kroki-standalone-server-${{ env.RELEASE_VERSION }}.jar
@@ -217,5 +234,10 @@ jobs:
         env:
           DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}
           DOCKER_PASSWORD: ${{ secrets.DOCKER_PASSWORD }}
-      - name: Publish Docker images
+      - if: github.event_name == 'workflow_dispatch'
+        name: Publish Docker images ${{ inputs.release_version }}
+        run: make publishDockerImages
+        env:
+          RELEASE_VERSION=${{ inputs.release_version }}
+      - if: github.event_name == 'push'
         run: RELEASE_VERSION=${GITHUB_REF#refs/*/v*} make publishDockerImages