diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index fb8d5e6c1..3d9efea03 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -16,20 +16,10 @@ steps:
     secureFile: 'z3.snk'
 
 - script: dir
-
 - script: scripts\mk_win_dist.cmd
-
-#    '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"' 
-#    python scripts\mk_win_dist.py --x64-only --dotnet-key=$(Agent.TempDirectory)\z3.snk
-
-# - script: '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars32.bat"'
-
-# - script: python scripts\mk_win_dist.py --x86-only --dotnet-key=$(Agent.TempDirectory)\z3.snk
-
 - script: dir
 - script: dir dist
-- script: xcopy dist\z3-4.8.6-x86-win\*.zip bin\nightly\* /y
-- script: xcopy dist\z3-4.8.6-x64-win\*.zip bin\nightly\* /y
+- script: xcopy dist\*.zip bin\nightly\* /y
 - script: cd bin\nightly
 - script: git add *.zip
 - script: git commit -s -a