From d67f9fb3f1a26cfd5ad94135d24072cecc063359 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Dec 2020 13:07:00 -0800
Subject: [PATCH] na

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index b5cb79af9..05fb83506 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -243,6 +243,10 @@ stages:
       inputs:
         artifactName: 'NuGet'
         targetPath: tmp
+    - task: DownloadPipelineArtifact@2
+      inputs:
+        artifactName: 'SNuGet'
+        targetPath: tmp
     - task: GitHubRelease@0
       inputs:
         gitHubConnection: Z3GitHub