Pass gracefully if tag is already in place

pace-neutrons · Dec 12, 2024 · 5c62a8a · 5c62a8a
1 parent d9dc0fb
commit 5c62a8a
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/set_version.yml b/.github/workflows/set_version.yml
@@ -61,10 +61,15 @@ jobs:
             git commit -m "Set version number"          
           fi
 
-      - name: "Tag new commit"
+      - name: "Tag commit"
         shell: bash -l {0}
         run: |
-          git tag $VERSION_STRING
+          if test $(git describe --tags --exact-match) = $VERSION_STRING
+          then
+            echo "The correct tag is already on this commit"
+          else
+            git tag $VERSION_STRING
+          fi
 
       - name: "Show updated log"
         run: |