Avoid concurrent release creations

pull/184/head
Michele Locati 2020-11-06 18:20:11 +01:00
parent 534c57350d
commit 078e8c060a
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 3 additions and 0 deletions

View File

@ -54,6 +54,9 @@ jobs:
if test -z "$VERSIONTAG_LAST"; then
printf 'We need to create the first version tag\n'
VERSIONTAG_THIS=1.0.0
elif test "$GITHUB_SHA" = "$(git rev-list -n 1 "refs/tags/$VERSIONTAG_LAST")"; then
printf 'Another action should already take care of creating the release\n'
VERSIONTAG_THIS=
else
CREATE_TAG=n
for CHANGED_FILE in $(git diff --name-only "refs/tags/$VERSIONTAG_LAST" HEAD); do