From 0ec79e17cc941087f7c639af09de1ef058d1510a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 12 Feb 2026 06:59:06 -0800
Subject: [PATCH] Fix copy command for Linux Python packages

---
 .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 efa8e3438..50435eef6 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -648,7 +648,7 @@ jobs:
 
       - name: Copy Linux Python packages
         run: |          
-          cp artifacts/*.whl src/api/python/dist/*.*
+          cp artifacts/*.whl src/api/python/dist/.
       
       - name: Upload artifact
         uses: actions/upload-artifact@v6