From 46b1c68f59dd7605996b9588d5644dff8f521cdd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nikolaj@cs.stanford.edu>
Date: Tue, 14 Jul 2026 09:34:29 -0700
Subject: [PATCH] Update nightly.yml

---
 .github/workflows/nightly.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index ec66c0b46b..b3d1b318a0 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -921,7 +921,7 @@ jobs:
           # Rewrite only the unsupported 13_3 tag to 13 for upload validation.
           for whl in dist/*-macosx_13_3_*.whl; do
             [ -e "$whl" ] || continue
-            mv "$whl" "${whl/macosx_13_3_/macosx_13_}"
+            mv "$whl" "${whl/macosx_13_3_/macosx_13_0_}"
           done
           ls -l dist