From e056d1b2d8168ba714490ccedd9d55a07aa5469c Mon Sep 17 00:00:00 2001 From: Pierangelo Di Pilato Date: Mon, 1 Jul 2024 17:24:48 +0200 Subject: [PATCH] Allow bumping versions in `/docs` only (#648) This will allow changing the version in the documentation website when a new release is published. Signed-off-by: Pierangelo Di Pilato --- .github/workflows/bump.yaml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/bump.yaml b/.github/workflows/bump.yaml index 86ca4215b..b0e288f78 100644 --- a/.github/workflows/bump.yaml +++ b/.github/workflows/bump.yaml @@ -5,6 +5,14 @@ on: version: description: 'Version to bump (without prepending "v")' required: true + maven-modules: + description: "Whether to bump versions in pom.xml files" + type: choice + required: true + default: 'true' + options: + - 'true' + - 'false' jobs: bump: @@ -19,6 +27,7 @@ jobs: with: java-version: 8 - name: Bump version using Maven + if: ${{ inputs.maven-modules == 'true' }} run: './mvnw versions:set -DnewVersion=$NEW_VERSION -DgenerateBackupPoms=false -B' - name: Bump version in docs if: ${{ !endsWith(github.event.inputs.version, 'SNAPSHOT') }}