From afe432b165e04bb4bff2e792ad0521527ec09e65 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Sat, 17 Jan 2026 20:22:51 -0800
Subject: [PATCH] Fix nightly release deployment: explicitly delete Git tag to
 prevent asset conflicts (#8233)

* Initial plan

* Fix nightly release deployment by explicitly deleting tag

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/nightly.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index b1ba8e7ce..004fbb64d 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -573,12 +573,15 @@ jobs:
       - name: Display structure of downloaded files
         run: ls -R tmp
       
-      - name: Delete existing Nightly release
+      - name: Delete existing Nightly release and tag
         continue-on-error: true
         env:
           GH_TOKEN: ${{ github.token }}
         run: |
-          gh release delete Nightly --yes --cleanup-tag || true
+          # Delete the release first (this also deletes assets)
+          gh release delete Nightly --yes || echo "No release to delete"
+          # Delete the tag explicitly
+          git push origin :refs/tags/Nightly || echo "No tag to delete"
       
       - name: Create Nightly release
         env: