From 6e7f4fb2128a32a842b832047f0ff64afdaae882 Mon Sep 17 00:00:00 2001
From: Jan-Henrik Bruhn <jan-henrik.bruhn@offis.de>
Date: Sat, 13 Dec 2025 14:07:41 +0100
Subject: [PATCH] fix: Delete release artifacts before upload to prevent
 duplicates
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
---
 .github/workflows/release.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 3d57aea..8da4f11 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -99,6 +99,13 @@ jobs:
         with:
           path: artifacts
 
+      - name: Delete existing release artifacts
+        run: |
+          gh release view ${{ needs.draft-release.outputs.tag-name }} --json assets --jq '.assets[].name' | \
+          xargs -I {} gh release delete-asset ${{ needs.draft-release.outputs.tag-name }} {} --yes || true
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
       - name: Upload all assets to release
         run: |
           find artifacts -type f -exec gh release upload ${{ needs.draft-release.outputs.tag-name }} {} --clobber \;