disable nuget publish for now

NikolajBjorner · NikolajBjorner · commit 2804b40edbb7 · 2020-05-08T12:32:57.000-07:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -284,6 +284,7 @@ stages:
         isPreRelease: false
 
   - job: NuGetPublish
+    condition: eq(0,1)
     displayName: "Publish to NuGet.org"
     steps:
     - task: DownloadPipelineArtifact@2
