build: Delete tag from remote

wrk-flow · Sep 23, 2022 · 9ec88b4 · 9ec88b4
1 parent 9db2a35
commit 9ec88b4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -61,7 +61,9 @@ jobs:
 
       - name: Remove tag
         if: steps.changelog.outputs.changes == ''
-        run: git tag -d ${{ steps.version.outputs.new_tag }}
+        run: |
+          git tag -d ${{ steps.version.outputs.new_tag }}
+          git push --delete origin ${{ steps.version.outputs.new_tag }}
 
   documentation:
     name: Deploy documentation