add download of Arm64 to python packaging

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Mar 7, 2024 · 3049f57 · 3049f57
1 parent f9ce332
commit 3049f57
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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: