na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-04-10 19:27:06 +00:00 · 2020-12-21 13:07:00 -08:00 · 2020-12-21 13:07:00 -08:00 · d67f9fb3f1
parent 835dd9414f
commit d67f9fb3f1
1 changed files with 4 additions and 0 deletions
--- 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