From 42e6cbce3d333ffc186f081915d6e6d3e05b28e9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 May 2020 14:10:23 -0700
Subject: [PATCH] publish also ubuntu build

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 4b13d2e4c..3111a71b8 100644
--- 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: