From 8210bbb9ea1e7aaf56a1731533dc3ba483c10e02 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 28 Jul 2026 01:25:24 -0700 Subject: [PATCH] Fix nightly-validation macOS wheel install by rewriting 13_3 platform tag to 13_0 Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 57b9b87e-950a-49ea-bbb3-ed585646a5a9 --- .github/workflows/nightly-validation.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.github/workflows/nightly-validation.yml b/.github/workflows/nightly-validation.yml index 2bae8eb856..1107bd99c7 100644 --- a/.github/workflows/nightly-validation.yml +++ b/.github/workflows/nightly-validation.yml @@ -601,6 +601,14 @@ jobs: - name: Install and test wheel run: | + # Nightly wheels are tagged with the exact deployment target (e.g. + # macosx_13_3), but pip only recognizes major.0 platform tags such as + # macosx_13_0. Rewrite the unsupported minor version so the wheel is + # installable, mirroring the rename done in nightly.yml. + for whl in wheels/*-macosx_13_3_*.whl; do + [ -e "$whl" ] || continue + mv "$whl" "${whl/macosx_13_3_/macosx_13_0_}" + done pip install wheels/*.whl python -c "import z3; x = z3.Int('x'); s = z3.Solver(); s.add(x > 0); print('Result:', s.check()); print('Model:', s.model())" @@ -630,6 +638,14 @@ jobs: - name: Install and test wheel run: | + # Nightly wheels are tagged with the exact deployment target (e.g. + # macosx_13_3), but pip only recognizes major.0 platform tags such as + # macosx_13_0. Rewrite the unsupported minor version so the wheel is + # installable, mirroring the rename done in nightly.yml. + for whl in wheels/*-macosx_13_3_*.whl; do + [ -e "$whl" ] || continue + mv "$whl" "${whl/macosx_13_3_/macosx_13_0_}" + done pip install wheels/*.whl python -c "import z3; x = z3.Int('x'); s = z3.Solver(); s.add(x > 0); print('Result:', s.check()); print('Model:', s.model())"