From 2da9f943baa29f81dfb4caa2a613f6269fdce624 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 17:38:14 +0200
Subject: [PATCH] Set up CI with Azure Pipelines

[skip ci]
---
 azure-pipelines.yml | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 azure-pipelines.yml

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
new file mode 100644
index 000000000..f9993ef1b
--- /dev/null
+++ b/azure-pipelines.yml
@@ -0,0 +1,29 @@
+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'
+
+