download arm64

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jul 6, 2022 · 4f62336 · 4f62336
1 parent 593d5be
commit 4f62336
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -397,6 +397,11 @@ stages:
       inputs:
         artifact: 'macOSBuild'
         path: $(Agent.TempDirectory)
+    - task: DownloadPipelineArtifact@2
+      displayName: 'Download macOS Arm64 Build'
+      inputs:
+        artifact: 'MacOSBuildArm64'
+        path: $(Agent.TempDirectory)\package		
     - task: DownloadPipelineArtifact@2
       displayName: 'Download ManyLinux Build'
       inputs: