From 680b0f523ff41d14f09a25abe598f64e6479ee57 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Jan 2024 12:32:09 -0800
Subject: [PATCH] add download stage for arm64

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f89f82f18..1c3245ea4 100644
--- 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: