try keeping old release assets

stm2 · Feb 8, 2022 · 57c5ed8 · 57c5ed8
1 parent 8b417ea
commit 57c5ed8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.build.number b/.build.number
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Tue Feb 08 12:40:52 CET 2022
-build.number=12
+#Tue Feb 08 12:44:26 CET 2022
+build.number=13
diff --git a/.github/workflows/publish-latest.yml b/.github/workflows/publish-latest.yml
@@ -104,7 +104,8 @@ jobs:
         git config user.name "$GITHUB_ACTOR"
         git config user.email "$GITHUB_ACTOR@users.noreply.github.com"
         git remote -v
-        gh release delete ${TAG} -y || echo "continuing ..."
+        # should we delete the old release and assets?
+        # gh release delete ${TAG} -y || echo "continuing ..."
         git tag -f "${TAG}"
         REMOTE="https://$GITHUB_ACTOR:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY.git"
         git push --force "$REMOTE" "${TAG}"