Set maven version on GitHub release

protegeproject · May 14, 2024 · 0e0986f · 0e0986f
1 parent 6b32f4c
commit 0e0986f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/pub-docker-hub.yaml b/.github/workflows/pub-docker-hub.yaml
@@ -22,6 +22,9 @@ jobs:
           server-id: docker.io
           server-username: DOCKER_USERNAME
           server-password: DOCKER_PASSWORD
+      - if: github.event.release
+        name: Update version in pom.xml (Release only)
+        run: mvn -B versions:set -DnewVersion=${{ github.event.release.tag_name }} -DgenerateBackupPoms=false
       - name: Publish package
         run: mvn --batch-mode -Prelease package dockerfile:push
 env:

diff --git a/.github/workflows/pub.yaml b/.github/workflows/pub.yaml
@@ -18,6 +18,9 @@ jobs:
           server-password: OSSRH_TOKEN
           gpg-private-key: ${{secrets.GPG_PRIVATE_KEY}}
           gpg-passphrase: GPG_PASSPHRASE
+      - if: github.event.release
+        name: Update version in pom.xml (Release only)
+        run: mvn -B versions:set -DnewVersion=${{ github.event.release.tag_name }} -DgenerateBackupPoms=false
       - name: Publish package
         run: mvn --batch-mode -Prelease deploy
 env: