From cdad6f3f977cd32c77909073ddba935e4ae2ae37 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 5 Jun 2019 20:14:35 +0200
Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines

---
 scripts/azure-pipeline.vs.yaml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index 3d9efea03..f45225f88 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -15,14 +15,7 @@ steps:
   inputs:
     secureFile: 'z3.snk'
 
-- script: dir
 - script: scripts\mk_win_dist.cmd
-- script: dir
-- script: dir dist
-- script: xcopy dist\*.zip bin\nightly\* /y
-- script: cd bin\nightly
-- script: git add *.zip
-- script: git commit -s -a 
-- script: git push
+