From b0c655d2cf783bc3f66559bfa5be250ed3b5fa76 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 16 Jan 2026 21:14:15 -0800
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 384791f99..b55e8b8f0 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -515,8 +515,8 @@ jobs:
       
       - name: Extract builds
         run: |
-          ls
           cd artifacts
+          ls
           mkdir -p osx-x64-bin osx-arm64-bin win32-bin win64-bin
           cd osx-x64-bin && unzip ../z3-*-x64-osx*.zip && cd ..
           cd osx-arm64-bin && unzip ../z3-*-arm64-osx*.zip && cd ..