From 6e3b99fb9ee02cbc37c6fb3ba289a5fd0fb59134 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 10 Oct 2024 14:19:23 -0700 Subject: [PATCH] downgrade to macos13 in builds until fully supported by pypi Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 4 ++-- scripts/release.yml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 0cf37a11d..916779a58 100644 --- a/scripts/nightly.yaml +++ b/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 diff --git a/scripts/release.yml b/scripts/release.yml index 3b25ca084..6657ff894 100644 --- a/scripts/release.yml +++ b/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