From c27378b8cc89d95c050d52881e9898ef5b8fb397 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 17 Jan 2026 12:00:01 -0800
Subject: [PATCH] List files in tmp directory for nightly release

Add a command to list files before creating the nightly release.
---
 .github/workflows/nightly.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 1731e885b..7494cda6f 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -584,6 +584,7 @@ jobs:
         env:
           GH_TOKEN: ${{ github.token }}
         run: |
+          ls
           find tmp -type f \( -name "*.zip" -o -name "*.whl" -o -name "*.tar.gz" -o -name "*.nupkg" -o -name "*.snupkg" \) > release_files.txt
           
           gh release create Nightly \