From a8049c7feb302f6e651d78b56af69033aaca6d21 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 24 Oct 2019 16:34:35 -0700
Subject: [PATCH] update nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 12bd7247d1e..606e16be749 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -149,7 +149,6 @@ jobs:
   - Mac
   - Ubuntu
   - Windows
-  - NuGet
   steps:
   - task: DownloadPipelineArtifact@0
     inputs:
@@ -163,10 +162,10 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - task: DownloadPipelineArtifact@0
-    inputs:
-     artifactName: 'NuGet'
-     targetPath: tmp
+#  - task: DownloadPipelineArtifact@0
+#    inputs:
+#     artifactName: 'NuGet'
+#     targetPath: tmp
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub