Better handle reruns on same commit, add debug output for building JOSM with mvn

Signed-off-by: Taylor Smock <smocktaylor@gmail.com>

Author: tsmock

.github/workflows/ant.yml

@@ -102,8 +102,13 @@ jobs:
         # Count the total commits for this branch
         run: |
           revision="v$(($(git rev-list --count HEAD) + ${{ inputs.revision-offset }}))"
-          git tag $revision
-          git push -u origin $revision
+          if [ $(git tag | grep '^'"$revision"'$' | wc -l) -eq 0 ]; then
+            git tag $revision
+            git push -u origin $revision
+          elif [ $(git diff ${{ github.sha }}..$revision --name-only | wc -l) -ne 0 ]; then
+            echo "Already existing tag pointing to different revision"
+            exit 1
+          fi
           echo "revision=$revision" >> $GITHUB_OUTPUT
 
   plugin-build:
@@ -158,7 +163,9 @@ jobs:
     - name: Build with maven
       if: ${{ hashFiles(format('josm/plugins/{0}/pom.xml', inputs.plugin-directory)) != '' }}
       run: |
+        set -ex
         cd $GITHUB_WORKSPACE/josm/plugins/${{ inputs.plugin-directory }}
+        ls ../../core/tools/checkstyle
         mvn --file ../../core/pom.xml package install -DskipTests
         mvn --file pom.xml package javadoc:jar source:jar -DskipTests -Dplugin.dist.dir=../../dist -Dplugin.version=${{ steps.version.outputs.version }}
         mv target/${{ inputs.plugin-jar-name }}-*-sources.jar ../../dist/${{ inputs.plugin-jar-name }}-sources.jar

.github/workflows/internal_ant.yml

@@ -102,8 +102,13 @@ jobs:
         # Count the total commits for this branch
         run: |
           revision="v$(($(git rev-list --count HEAD) + ${{ inputs.revision-offset }}))"
-          git tag $revision
-          git push -u origin $revision
+          if [ $(git tag | grep '^'"$revision"'$' | wc -l) -eq 0 ]; then
+            git tag $revision
+            git push -u origin $revision
+          elif [ $(git diff ${{ github.sha }}..$revision --name-only | wc -l) -ne 0 ]; then
+            echo "Already existing tag pointing to different revision"
+            exit 1
+          fi
           echo "revision=$revision" >> $GITHUB_OUTPUT
 
   plugin-build:
@@ -158,7 +163,9 @@ jobs:
     - name: Build with maven
       if: ${{ hashFiles(format('josm/plugins/{0}/pom.xml', inputs.plugin-directory)) != '' }}
       run: |
+        set -ex
         cd $GITHUB_WORKSPACE/josm/plugins/${{ inputs.plugin-directory }}
+        ls ../../core/tools/checkstyle
         mvn --file ../../core/pom.xml package install -DskipTests
         mvn --file pom.xml package javadoc:jar source:jar -DskipTests -Dplugin.dist.dir=../../dist -Dplugin.version=${{ steps.version.outputs.version }}
         mv target/${{ inputs.plugin-jar-name }}-*-sources.jar ../../dist/${{ inputs.plugin-jar-name }}-sources.jar