downgrade to macos13 in builds until fully supported by pypi

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

scripts/nightly.yaml

@@ -12,7 +12,7 @@ stages:
   - job: MacBuild
     displayName: "Mac Build"
     pool:
-      vmImage: "macOS-latest"
+      vmImage: "macOS-13"
     steps:
     - task: PythonScript@0
       displayName: Build
@@ -41,7 +41,7 @@ stages:
   - job: MacBuildArm64
     displayName: "Mac ARM64 Build"
     pool:
-      vmImage: "macOS-latest"
+      vmImage: "macOS-13"
     steps:
     - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64
     - script: git clone https://github.com/z3prover/z3test z3test

scripts/release.yml

@@ -17,7 +17,7 @@ stages:
   - job: MacBuild
     displayName: "Mac Build"
     pool:
-      vmImage: "macOS-latest"
+      vmImage: "macOS-13"
     steps:
     - task: PythonScript@0
       displayName: Build
@@ -46,7 +46,7 @@ stages:
   - job: MacBuildArm64
     displayName: "Mac ARM64 Build"
     pool:
-      vmImage: "macOS-latest"
+      vmImage: "macOS-13"
     steps:
     - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64
     - script: git clone https://github.com/z3prover/z3test z3test