From af914f101e8667dbd6e43cf7332e2b0136836e7b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Jan 2021 10:19:00 -0800
Subject: [PATCH] change to macos latest

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

diff --git a/scripts/release.yml b/scripts/release.yml
index 59fc24d05..55157bc8f 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -17,7 +17,7 @@ stages:
   - job: MacBuild
     displayName: "macOS Build"
     pool:
-      vmImage: "macOS-10.14"
+      vmImage: "macOS-latest"
     steps:
     - task: PythonScript@0
       displayName: Build