ci: forbid the publication of a version already released (#8)

Refs: #7

Author: andrei-cristea

.github/scripts/check_version.sh

@@ -0,0 +1,22 @@
+#!/bin/sh
+
+tag=$1
+echo "Input tag: '$tag'"
+
+version=`grep "^version" gradle.properties | cut -d= -f2 | tr -d "[:space:]"`
+echo "Version in 'gradle.properties' file: '$version'"
+
+if [ "$tag" != "" ]; then
+  if [ "$tag" != "$version" ]; then
+    echo "ERROR: the tag '$tag' is different from the version '$version' in the 'gradle.properties' file"
+    exit 1
+  fi
+fi
+
+echo "Fetch tags..."
+git fetch --tags
+
+if [ $(git tag -l "$version") ]; then
+  echo "ERROR: version '$version' has already been released"
+  exit 1
+fi

.github/workflows/java-publish.yml

@@ -25,6 +25,9 @@ jobs:
           cat <(echo -e "${{ secrets.OSSRH_GPG_SECRET_KEY }}") | gpg --batch --import
           gpg --pinentry-mode loopback --passphrase "${{ secrets.OSSRH_GPG_SECRET_PASSWORD }}" --export-secret-key 568FD16F857171A0EC6D2C40742C84722FD2B235 > ~/.gradle/maven-central.gpg
           gpg --list-secret-keys --keyid-format LONG
+      - name: Check version
+        working-directory: .
+        run: ./.github/scripts/check_version.sh
       - name: Build and Publish
         working-directory: .
         run: ./gradlew build test publish --info --stacktrace

.github/workflows/java-release.yml

@@ -25,6 +25,9 @@ jobs:
           cat <(echo -e "${{ secrets.OSSRH_GPG_SECRET_KEY }}") | gpg --batch --import
           gpg --pinentry-mode loopback --passphrase "${{ secrets.OSSRH_GPG_SECRET_PASSWORD }}" --export-secret-key 568FD16F857171A0EC6D2C40742C84722FD2B235 > ~/.gradle/maven-central.gpg
           gpg --list-secret-keys --keyid-format LONG
+      - name: Check version
+        working-directory: .
+        run: ./.github/scripts/check_version.sh $(echo "${{ github.ref }}" | sed -e "s,^refs/tags/,,")
       - name: Build and Publish
         working-directory: .
         run: |

.github/workflows/java-test.yml

@@ -16,6 +16,9 @@ jobs:
         with:
           java-version: '8'
           distribution: 'adopt'
+      - name: Check version
+        working-directory: .
+        run: ./.github/scripts/check_version.sh
       - name: Build and Test
         working-directory: .
         run: ./gradlew build test --info --stacktrace