From 0714f800d5f74f6a5b2fc4500a986095f558821c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 00:07:55 +0200
Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines

---
 scripts/azure-pipeline.vs.yaml | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index a6053b6f7..5a2f5f35a 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -1,24 +1,13 @@
 pool:
   vmImage: "vs2017-win2016"
 
-
 steps:
 
-- script: git clone https://github.com/z3prover/bin bin
-  
-- task: DotNetCoreInstaller@0
-  displayName: 'Use .NET Core sdk 2.1'
-  inputs:
-    version: 2.1.300
-
-- task: DownloadSecureFile@1
-  inputs:
-    secureFile: 'z3.snk'
-
-- script: scripts\mk_win_dist.cmd
+- script: echo "test" > $(Build.ArtifactStagingDirectory)/ping.txt
 
 - task: GitHubRelease@0
   inputs:
+    gitHubConnection: Z3GitHub
     repositoryName: '$(Build.Repository.Name)'
     action: 'edit'
     target: '$(Build.SourceVersion)'
@@ -29,3 +18,16 @@ steps:
     isDraft: true
     isPreRelease: true
 
+# - script: git clone https://github.com/z3prover/bin bin
+
+# - task: DotNetCoreInstaller@0
+#  displayName: 'Use .NET Core sdk 2.1'
+#  inputs:
+#    version: 2.1.300
+
+# - task: DownloadSecureFile@1
+#  inputs:
+#    secureFile: 'z3.snk'
+
+# - script: scripts\mk_win_dist.cmd
+