From 3616688d6b929dcc1147d6ac7eb3a435edc8e36c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 10 Sep 2020 17:26:47 -0700
Subject: [PATCH] update pipeline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index e5785eae6..9e89a61bc 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -273,6 +273,11 @@ stages:
       inputs:
         artifact: 'WindowsBuild-x64'
         path: $(Agent.TempDirectory)
+    - task: DownloadPipelineArtifact@2
+      displayName: 'Download NuGet Package'
+      inputs:
+        artifact: 'NuGetPackage'
+        path: $(Agent.TempDirectory)
     - task: GitHubRelease@0
       inputs:
         gitHubConnection: Z3GitHub
@@ -288,8 +293,9 @@ stages:
         isDraft: true
         isPreRelease: false
 
+  # Enable on release:
   - job: NuGetPublish
-    condition: eq(0,1)
+    condition: eq(1,1)
     displayName: "Publish to NuGet.org"
     steps:
     - task: DownloadPipelineArtifact@2
@@ -308,8 +314,9 @@ stages:
         publishFeedCredentials: Z3Nuget
         packagesToPush: $(Agent.TempDirectory)/*.nupkg
 
+  # Enable on release:
   - job: PyPIPublish
-    condition: eq(0,1)
+    condition: eq(1,1)
     displayName: "Publish to PyPI"
     pool:
       vmImage: "ubuntu-16.04"
@@ -322,7 +329,6 @@ stages:
       name: pypirc
       inputs:
         secureFile: 'pypirc'
-    - script: pip install --upgrade pip
+    - script: python3 -m pip install --upgrade pip
     - script: python3 -m pip install --user -U setuptools importlib_metadata wheel twine 
-    # Uncomment on release:
     - script: python3 -m twine upload --config-file $(pypirc.secureFilePath) -r $(pypiReleaseServer) dist/*
\ No newline at end of file