From 0be5434f295ce18a0b45c4bef92bfcb13544f12d 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' ' ')