Update azure-pipeline.vs.yaml for Azure Pipelines

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
+