mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-18 08:18:55 +00:00
Code Activity

Fix artifact extraction patterns in nightly Python packaging job (#8217)

Browse source 
* 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>
This commit is contained in:
Copilot 2026-01-16 15:50:22 -08:00 • committed by GitHub
parent b1b7270686
commit 9666915dca
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.github/workflows/nightly.yml vendored
View file

@ -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: |