From c8df8fd730ad7de5b13d017eb129597ff6181d22 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Jan 2026 21:09:36 -0800 Subject: [PATCH] updated dependencies Signed-off-by: Nikolaj Bjorner --- .github/workflows/nightly.yml | 8 +++++++- .github/workflows/release.yml | 7 +++---- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index bc5b5cd5a..b58cdfb52 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -463,7 +463,7 @@ jobs: python-package: name: "Python packaging" - needs: [mac-build-x64, mac-build-arm64, windows-build-x64, windows-build-x86] + needs: [mac-build-x64, mac-build-arm64, windows-build-x64, windows-build-x86, manylinux-python-amd64, manylinux-python-arm64] runs-on: ubuntu-24.04 steps: - name: Checkout code @@ -497,6 +497,12 @@ jobs: with: name: WindowsBuild-x86 path: artifacts + + - name: Download ManyLinux AMD64 Build + uses: actions/download-artifact@v7.0.0 + with: + name: ManyLinuxPythonBuildAMD64 + path: artifacts - name: Download ManyLinux Arm64 Build uses: actions/download-artifact@v7.0.0 diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 5b9a31e1e..0cde283ad 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -548,10 +548,7 @@ jobs: echo $PWD/../../../artifacts/win64-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 - - - name: Copy manylinux wheels - run: cp artifacts/*.whl src/api/python/dist - + - name: Upload artifact uses: actions/upload-artifact@v6 with: @@ -597,6 +594,8 @@ jobs: GH_TOKEN: ${{ github.token }} run: | find tmp -type f \( -name "*.zip" -o -name "*.whl" -o -name "*.tar.gz" -o -name "*.nupkg" -o -name "*.snupkg" \) > release_files.txt + + less release_files.txt gh release create z3-${{ env.RELEASE_VERSION }} \ --title "z3-${{ env.RELEASE_VERSION }}" \