add download stage for arm64

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 30, 2024 · 680b0f5 · 680b0f5
1 parent b3b95db
commit 680b0f5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -581,6 +581,11 @@ stages:
       inputs:
         artifactName: 'Windows64'
         targetPath: tmp
+    - task: DownloadPipelineArtifact@2
+      displayName: "Download windowsARM64"
+      inputs:
+        artifactName: 'WindowsArm64'
+        targetPath: tmp
     - task: DownloadPipelineArtifact@2
       displayName: "Download Mac"
       inputs: