From c7df26e233c4e793e17b1112e7588caec0e1b8d8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 12 Feb 2026 08:21:54 -0800
Subject: [PATCH] Remove --clobber option from nightly release

Remove the --clobber option from the nightly release command.
---
 .github/workflows/nightly.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 50435eef6..bee8acc68 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -713,6 +713,7 @@ jobs:
             --notes "Automated nightly build from commit ${{ github.sha }}" \
             --prerelease \
             --target ${{ github.sha }} \
+            --clobber \
             $(cat release_files.txt | tr '\n' ' ')