From 03ba9ec75f6a968beb8c10dd35220bafb82bf80e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Jun 2019 18:51:08 +0200 Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines --- azure-pipelines.yml | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 7233e0a8e..ccc57af90 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -1,18 +1,6 @@ jobs: -- job: "Windows" - displayName: "Windows build" - pool: - vmImage: "vs2017-win2016" - steps: - - task: DotNetCoreInstaller@0 - displayName: 'Use .NET Core sdk 2.1' - inputs: - version: 2.1.300 - - script: scripts\vsts-vs2017.cmd x64 - - script: scripts\vsts-vs2013.cmd - - job: "LinuxPython" displayName: "Ubuntu build - python make" pool: @@ -24,7 +12,6 @@ jobs: version: 2.1.300 # TBD add steps for building and testing - - job: "LinuxCMake" displayName: "Ubuntu build - cmake" pool: @@ -37,6 +24,19 @@ jobs: # TBD add steps for building and testing # debug/release/asan/ubsan/ +- job: "Windows2017" + displayName: "Windows 2017 build" + pool: + vmImage: "vs2017-win2016" + steps: + - task: DotNetCoreInstaller@0 + displayName: 'Use .NET Core sdk 2.1' + inputs: + version: 2.1.300 + - script: scripts\vsts-vs2017.cmd x64 + + + # TBD add job for Mac build/test