From 3012293c35eadbfd73e5b94adbe50b0cc44ffb83 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 17 Jan 2023 19:10:26 -0800 Subject: [PATCH] update release script Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/release.yml b/scripts/release.yml index 42a5bbcc6..30378fc6b 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -17,7 +17,7 @@ stages: - job: MacBuild displayName: "macOS Build" pool: - vmImage: "macOS-latest" + vmImage: "macOS-11" steps: - task: PythonScript@0 displayName: Build @@ -46,7 +46,7 @@ stages: - job: MacBuildArm64 displayName: "macOS ARM64 Build" pool: - vmImage: "macOS-latest" + vmImage: "macOS-11" steps: - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --os=osx-11.0 - script: git clone https://github.com/z3prover/z3test z3test