From 3049f578a8f98a0b0992eca193afe57a73b30ca3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 7 Mar 2024 10:25:16 -0800
Subject: [PATCH] add download of Arm64 to python packaging

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

diff --git a/scripts/release.yml b/scripts/release.yml
index 3c83e719e55..7fcd93b16da 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -491,6 +491,11 @@ stages:
       inputs:
         artifact: 'ManyLinuxBuild'
         path: $(Agent.TempDirectory)
+    - task: DownloadPipelineArtifact@2
+      displayName: 'Download ManyLinux Arm64 Build'
+      inputs:
+        artifact: 'ManyLinuxBuildArm64'
+        path: $(Agent.TempDirectory)
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Win32 Build'
       inputs: