From 9666915dca8020109f55a5289fb759b63f8b980c Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Fri, 16 Jan 2026 15:50:22 -0800 Subject: [PATCH] Fix artifact extraction patterns in nightly Python packaging job (#8217) * Initial plan * Fix unzip patterns in Python packaging job Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- .github/workflows/nightly.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index ba03bf59b..c898225a4 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -517,10 +517,10 @@ jobs: run: | cd artifacts mkdir -p osx-x64-bin osx-arm64-bin win32-bin win64-bin - cd osx-x64-bin && unzip ../*-x64-osx*.zip && cd .. - cd osx-arm64-bin && unzip ../*-arm64-osx*.zip && cd .. - cd win32-bin && unzip ../*-x86-win*.zip && cd .. - cd win64-bin && unzip ../*-x64-win*.zip && cd .. + cd osx-x64-bin && unzip ../z3-*-x64-osx*.zip && cd .. + cd osx-arm64-bin && unzip ../z3-*-arm64-osx*.zip && cd .. + cd win32-bin && unzip ../z3-*-x86-win*.zip && cd .. + cd win64-bin && unzip ../z3-*-x64-win*.zip && cd .. - name: Build Python packages run: |