diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index c898225a4..384791f99 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -515,6 +515,7 @@ jobs:
       
       - name: Extract builds
         run: |
+          ls
           cd artifacts
           mkdir -p osx-x64-bin osx-arm64-bin win32-bin win64-bin
           cd osx-x64-bin && unzip ../z3-*-x64-osx*.zip && cd ..