diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 49d9c8e89..708773f38 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -12,7 +12,7 @@ stages: - job: MacBuild displayName: "macOS Build" pool: - vmImage: "macOS-11" + vmImage: "macOS-latest" steps: - task: PythonScript@0 displayName: Build @@ -41,7 +41,7 @@ stages: - job: MacBuildArm64 displayName: "Mac ARM64 Build" pool: - vmImage: "macOS-11" + vmImage: "macOS-latest" 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