diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index fcf06c023..8c34b71b4 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -3,6 +3,9 @@ pool:
 
 
 steps:
+
+- script: git clone https://github.com/z3prover/bin bin
+  
 - task: DotNetCoreInstaller@0
   displayName: 'Use .NET Core sdk 2.1'
   inputs:
@@ -17,4 +20,11 @@ steps:
   inputs:
     filename: 'scripts/mk_win_dist.cmd'
 
+- 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: cd bin\nightly
+- script: git add *.zip
+- script: git commit -s -a 
+- script: git push
+