na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 21, 2020 · d67f9fb · d67f9fb
1 parent 835dd94
commit d67f9fb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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