From 366860be4611e6ae09c23cfeed6f989b6c372b0d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 2 Jun 2022 07:21:48 -0700
Subject: [PATCH] change to osx-11.0

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 6a91310ff..0e49061aa 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -27,7 +27,7 @@ stages:
   - job: MacArm64
     displayName: "Mac ARM64 Build"
     pool:
-      vmImage: "macOS-12"
+      vmImage: "macOS-latest"
     steps:
     - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --nojava --os=osx-11.0
     - script: git clone https://github.com/z3prover/z3test z3test