From 7e5ffd722cbe34e19cbb559ac88272fdb2cedf89 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 Feb 2026 13:15:28 -0800 Subject: [PATCH] Enhance nightly workflow to include Linux builds Added support for Linux binaries in the nightly workflow. --- .github/workflows/nightly.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index d15b1e952..04732cf6d 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -620,12 +620,14 @@ jobs: run: | cd artifacts ls - mkdir -p osx-x64-bin osx-arm64-bin win32-bin win64-bin win-arm64-bin + mkdir -p osx-x64-bin osx-arm64-bin win32-bin win64-bin win-arm64-bin linux-x64-bin linux-arm64-bin 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 .. cd win-arm64-bin && unzip ../z3-*-arm64-win*.zip && cd .. + cd linux-arm64-bin && unzip ../z3-*-2_38_aarch64*.zip && cd .. + cd linux-x64-bin && unzip ../z3-*-27_x86_64*.zip && cd .. - name: Build Python packages run: | @@ -637,6 +639,8 @@ jobs: echo $PWD/../../../artifacts/win-arm64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel echo $PWD/../../../artifacts/osx-x64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel echo $PWD/../../../artifacts/osx-arm64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel + echo $PWD/../../../artifacts/linux-arm64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel + echo $PWD/../../../artifacts/linux-x64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel - name: Upload artifact uses: actions/upload-artifact@v6