From 7dbf30b46566a187dda16281f7ede89c989d2a59 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 10 Sep 2020 19:21:46 -0700
Subject: [PATCH] include nupkg

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

diff --git a/scripts/release.yml b/scripts/release.yml
index 9e89a61bc..62331c473 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -289,13 +289,15 @@ stages:
         title: 'z3-$(ReleaseVersion)'
         releaseNotesSource: 'input'
         releaseNotes: '$(ReleaseVersion) release'
-        assets: '$(Agent.TempDirectory)/*.zip'
+        assets: |
+           '$(Agent.TempDirectory)/*.zip'
+           '$(Agent.TempDirectory)/*.nupkg'
         isDraft: true
         isPreRelease: false
 
   # Enable on release:
   - job: NuGetPublish
-    condition: eq(1,1)
+    condition: eq(0,1)
     displayName: "Publish to NuGet.org"
     steps:
     - task: DownloadPipelineArtifact@2