update nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 24, 2019 · a8049c7 · a8049c7
1 parent b9a407c
commit a8049c7
Showing 1 changed file with 4 additions and 5 deletions.
diff --git 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