From dbbff4e9cd299c39ab59de5f15dc0ba8ff6ae469 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 18:06:42 +0200
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines

---
 azure-pipelines.yml | 29 ++++++++++++-----------------
 1 file changed, 12 insertions(+), 17 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index f9993ef1b..e97e04e7b 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -1,29 +1,24 @@
+
+
 pool:
-
-  name: Hosted
-
-  demands: Cmd
-
-
+  vmImage: "vs2017-win2016"
 
 steps:
-
 - task: DotNetCoreInstaller@0
-
   displayName: 'Use .NET Core sdk 2.1'
-
   inputs:
-
     version: 2.1.300
 
-
-
-- task: BatchScript@1
-
-  displayName: 'scripts\vsts-vs2017.cmd'
-
+- task: DownloadSecureFile@1
   inputs:
+    secureFile: 'z3.snk'
+
+- script: scripts\vsts-vs2017.cmd    
+
+- script: scripts\vsts-vs2013.cmd
+
+
+
 
-    filename: 'scripts\vsts-vs2017.cmd'