From 1f427f5897f94bc1a12a0d6fb5ed406ea51bbd9a Mon Sep 17 00:00:00 2001 From: cipchk Date: Wed, 3 Jul 2024 11:18:34 +0800 Subject: [PATCH] chore: fix build --- scripts/ci/build-artifacts-site.sh | 3 +++ scripts/ci/build-artifacts.sh | 3 ++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/ci/build-artifacts-site.sh b/scripts/ci/build-artifacts-site.sh index 009de17a65..d73c607921 100755 --- a/scripts/ci/build-artifacts-site.sh +++ b/scripts/ci/build-artifacts-site.sh @@ -102,7 +102,10 @@ echo "https://${ACCESS_TOKEN}:@github.com" > .git/credentials if [[ $(git ls-remote origin "refs/tags/${buildTagName}") ]]; then echo "removed tag because tag is already published" + git tag -d ${buildTagName} + git push --delete origin ${buildTagName} git push origin :refs/tags/${buildTagName} + sleep 2 fi echo "Git configuration has been updated to match the last commit author. Publishing now.." diff --git a/scripts/ci/build-artifacts.sh b/scripts/ci/build-artifacts.sh index a25c34026a..c639bcbfeb 100755 --- a/scripts/ci/build-artifacts.sh +++ b/scripts/ci/build-artifacts.sh @@ -92,9 +92,10 @@ echo "https://${ACCESS_TOKEN}:@github.com" > .git/credentials if [[ $(git ls-remote origin "refs/tags/${buildTagName}") ]]; then echo "removed tag because tag is already published" + git tag -d ${buildTagName} git push --delete origin ${buildTagName} git push origin :refs/tags/${buildTagName} - sleep 5 + sleep 2 fi echo "Git configuration has been updated to match the last commit author. Publishing now.."