From d9d3be959c7ffa961a5d002282a544b5b28e885e Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Mon, 6 Jul 2026 17:55:01 -0700
Subject: [PATCH] Pin macOS wheel target to 13.0 in release and nightly
 workflows (#10054)

Wheels started inheriting `macosx_15_0` tags because macOS jobs run on
newer runners and no deployment target was pinned. That blocks wheel
installation on macOS 13/14 hosts and forces source builds.

- **macOS deployment target pinning**
- Added `MACOSX_DEPLOYMENT_TARGET: "13.0"` to both macOS build jobs
(`x64`, `arm64`) in:
    - `.github/workflows/release.yml`
    - `.github/workflows/nightly.yml`

- **Stable macOS artifact OS metadata**
- Updated macOS `mk_unix_dist.py` invocations to pass `--os=osx-13.0` in
both workflows, so artifact metadata stays aligned with the intended
minimum macOS compatibility used for Python wheel tagging.

```yaml
mac-build-x64:
  runs-on: macos-15
  env:
    MACOSX_DEPLOYMENT_TARGET: "13.0"
  steps:
    - name: Build
      run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64 --os=osx-13.0
```

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
---
 .github/workflows/nightly.yml | 8 ++++++--
 .github/workflows/release.yml | 8 ++++++--
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index d2febd8e83..df36d1f73d 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -33,6 +33,8 @@ jobs:
     name: "Mac Build x64"
     runs-on: macos-latest
     timeout-minutes: 90
+    env:
+      MACOSX_DEPLOYMENT_TARGET: "13.0"
     steps:
       - name: Checkout code
         uses: actions/checkout@v7.0.0
@@ -43,7 +45,7 @@ jobs:
           python-version: '3.x'
       
       - name: Build
-        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64
+        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64 --os=osx-13.0
             
       - name: Validate libz3.dylib and z3 architecture (must be x86_64)
         run: |
@@ -69,6 +71,8 @@ jobs:
     name: "Mac ARM64 Build"
     runs-on: macos-latest
     timeout-minutes: 90
+    env:
+      MACOSX_DEPLOYMENT_TARGET: "13.0"
     steps:
       - name: Checkout code
         uses: actions/checkout@v7.0.0
@@ -79,7 +83,7 @@ jobs:
           python-version: '3.x'
       
       - name: Build
-        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64
+        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64 --os=osx-13.0
             
       - name: Validate libz3.dylib and z3 architecture (must be arm64)
         run: |
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 07387885bc..1e280e056c 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -34,6 +34,8 @@ jobs:
     name: "Mac Build x64"
     runs-on: macos-15
     timeout-minutes: 90
+    env:
+      MACOSX_DEPLOYMENT_TARGET: "13.0"
     steps:
       - name: Checkout code
         uses: actions/checkout@v7.0.0
@@ -44,7 +46,7 @@ jobs:
           python-version: '3.x'
       
       - name: Build
-        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64
+        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64 --os=osx-13.0
       
       - name: Validate libz3.dylib and z3 architecture (must be x86_64)
         run: |
@@ -76,6 +78,8 @@ jobs:
     name: "Mac ARM64 Build"
     runs-on: macos-15
     timeout-minutes: 90
+    env:
+      MACOSX_DEPLOYMENT_TARGET: "13.0"
     steps:
       - name: Checkout code
         uses: actions/checkout@v7.0.0
@@ -86,7 +90,7 @@ jobs:
           python-version: '3.x'
       
       - name: Build
-        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64
+        run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64 --os=osx-13.0
       
       - name: Validate libz3.dylib and z3 architecture (must be arm64)
         run: |