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