From 4b782c8c6c5638a5bf7bd277e8895a463754e5a6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 11 Jun 2019 19:46:47 +0200
Subject: [PATCH] Update release.yml for Azure Pipelines

---
 scripts/release.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index ebb402939..799cd2e4c 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -43,9 +43,7 @@ jobs:
   - task: DownloadSecureFile@1
     inputs:
       secureFile: 'z3.snk'
-  - script: scripts\mk_win_dist.cmd
-#  - script: git clone https://github.com/z3prover/z3test z3test
-#  - script: python z3test/scripts/test_benchmarks.py build-dist\z3.exe z3test/regressions/smt2    
+  - script: scripts\mk_win_dist.cmd 
   - script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y
   - task: PublishPipelineArtifact@0
     inputs:
@@ -71,6 +69,8 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
+# TBD: build NuGet package
+# TBD: this script should build a specific pre-specified tag
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub
@@ -91,7 +91,6 @@ jobs:
       releaseNotesSource: 'input'
       releaseNotes: 'nightly build'
       assets: 'tmp/*'
-#     assetUploadMode: 'replace'
       isDraft: false
       isPreRelease: true