From d72f6c80dfa59fd2ce44a27fa8e740657dff87ad Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 22 Dec 2020 09:58:03 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 57ab85291..fad23715f 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -150,10 +150,6 @@ stages:
         basePath: $(Agent.TempDirectory)\package\out
         packDestination: $(Build.ArtifactStagingDirectory)
         verbosityPack: detailed
-    - task: PublishPipelineArtifact@1
-      inputs:
-        targetPath: $(Build.ArtifactStagingDirectory)
-        artifactName: 'NuGet'
     - task: PythonScript@0
       displayName: 'Python: assemble files'
       inputs:
@@ -176,7 +172,7 @@ stages:
     - task: PublishPipelineArtifact@1
       inputs:
         targetPath: $(Build.ArtifactStagingDirectory)
-        artifactName: 'SNuGet'
+        artifactName: 'NuGet'
 
 
   - job: Python
@@ -251,11 +247,6 @@ stages:
       inputs:
         artifactName: 'NuGet'
         targetPath: tmp
-    - task: DownloadPipelineArtifact@2
-      displayName: "Download SNuGet - with symbols"
-      inputs:
-        artifactName: 'SNuGet'
-        targetPath: tmp
     - task: GitHubRelease@0
       inputs:
         gitHubConnection: Z3GitHub