Update azure-pipelines.yml for Azure Pipelines

Z3Prover · Dec 7, 2020 · bb3faf5 · bb3faf5
1 parent 982da8d
commit bb3faf5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -234,7 +234,7 @@ jobs:
 - job: "MacOSCMake"
   displayName: "MacOS build with CMake"
   pool:
-    vmImage: "macOS-10.14"
+    vmImage: "macOS-latest"
   steps:
     - script: brew install ninja
     - script: brew cask install julia