From 53514281d21ab8e396e199b125ee0d33837c36b4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 3 Jun 2019 14:56:33 -0700 Subject: [PATCH] vs2017 pipeline Signed-off-by: Nikolaj Bjorner --- scripts/azure-pipeline.vsts-vs2017.yaml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 scripts/azure-pipeline.vsts-vs2017.yaml diff --git a/scripts/azure-pipeline.vsts-vs2017.yaml b/scripts/azure-pipeline.vsts-vs2017.yaml new file mode 100644 index 000000000..faa9fbff3 --- /dev/null +++ b/scripts/azure-pipeline.vsts-vs2017.yaml @@ -0,0 +1,15 @@ +pool: + name: Hosted + demands: Cmd + +steps: +- task: DotNetCoreInstaller@0 + displayName: 'Use .NET Core sdk 2.1' + inputs: + version: 2.1.300 + +- task: BatchScript@1 + displayName: 'scripts\vsts-vs2017.cmd' + inputs: + filename: 'scripts\vsts-vs2017.cmd' +