Update windows image to 2019 in build pipeline

microsoft · Apr 10, 2020 · 4e3547c · 4e3547c
1 parent 64ea952
commit 4e3547c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -9,7 +9,8 @@ strategy:
     linux:
       imageName: 'ubuntu-latest'
     windows:
-      imageName: 'vs2017-win2016'
+#      imageName: 'vs2017-win2016'
+      imageName: 'windows-2019'
 #    mac:
 #     imageName: 'macos-latest'
 
@@ -46,4 +47,4 @@ steps:
     arguments: 'install --tool-path $(Build.SourcesDirectory)/Tools/ SolToBoogieTest --version 0.1.1-alpha --add-source $(Build.SourcesDirectory)/nupkg/'
 
 - pwsh: '$(Build.SourcesDirectory)/Tools/VeriSolRegressionRunner $(Build.SourcesDirectory)/Test/'
-  displayName: 'Run regression tests'
+  displayName: 'Run regression tests'