From 8ca6d8b412dcda869cd1e94ac44462fef4ff84df Mon Sep 17 00:00:00 2001 From: David Gonzalez Martin Date: Tue, 5 Nov 2024 07:17:57 -0600 Subject: [PATCH] Fix github push command --- .github/workflows/ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9fb4075..7336546 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -34,12 +34,13 @@ jobs: env: GH_TOKEN: ${{ github.token }} run: | + set -eux git config --global user.name "github-actions" git config --global user.email "github-actions@github.com" TAG="dev" gh release delete $TAG --yes git tag -d $TAG - git push origin $TAG + git push origin --delete $TAG git tag $TAG git push origin $TAG echo "RELEASE_TAG_NAME=$TAG" >> $GITHUB_OUTPUT