publish also ubuntu build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · May 8, 2020 · 42e6cbc · 42e6cbc
1 parent 9a44ed8
commit 42e6cbc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -253,6 +253,11 @@ stages:
     pool:
       vmImage: "windows-latest"
     steps:
+    - task: DownloadPipelineArtifact@2
+      displayName: 'Download macOS Build'
+      inputs:
+        artifact: 'UbuntuBuild'
+        path: $(Agent.TempDirectory)
     - task: DownloadPipelineArtifact@2
       displayName: 'Download macOS Build'
       inputs: