From a6c9bf9b778f608be7fe9e67d90ba4748e1c65ca Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 21 Dec 2025 12:17:09 -0800 Subject: [PATCH] update to macos-latest Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index c43b59bf6..c60776b0a 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -14,7 +14,7 @@ stages: displayName: "Mac Build" timeoutInMinutes: 90 pool: - vmImage: "macOS-13" + vmImage: "macOS-latest" steps: - task: PythonScript@0 displayName: Build @@ -43,7 +43,7 @@ stages: - job: MacBuildArm64 displayName: "Mac ARM64 Build" pool: - vmImage: "macOS-13" + vmImage: "macOS-latest" 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