Merge branch 'main' into develop

This commit is contained in:
James Cole 2024-04-01 08:31:32 +02:00
commit e14e80f33c
No known key found for this signature in database
GPG Key ID: B49A324B7EAD6D80

View File

@ -167,6 +167,7 @@ jobs:
echo "Tag $releaseName exists already." echo "Tag $releaseName exists already."
releaseName="$originalName"."$tagCount" releaseName="$originalName"."$tagCount"
echo "Tag for release is now $releaseName" echo "Tag for release is now $releaseName"
tagCount=$((tagCount+1))
else else
echo "Tag $releaseName does not exist, can continue" echo "Tag $releaseName does not exist, can continue"
tagFound=false tagFound=false