From c8f197d0ca32f7dce935db0cca2fd80777b87ae9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 16 Jan 2023 16:30:46 -0500
Subject: [PATCH] specify macos-11 in nightly to force os11 build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
scripts/nightly.yaml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f0a4bfed0..c93738e58 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -11,7 +11,7 @@ stages:
- job: Mac
displayName: "Mac Build"
pool:
- vmImage: "macOS-latest"
+ vmImage: "macOS-11"
steps:
- script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
- script: git clone https://github.com/z3prover/z3test z3test
@@ -25,7 +25,7 @@ stages:
- job: MacArm64
displayName: "Mac 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