From a8c4384536019e438adb7a8df6d24e93d3431ab6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 18 Aug 2023 07:58:48 -0700
Subject: [PATCH] download 20.04

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 154902d4c..f0a775d2d 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -255,6 +255,11 @@ stages:
       inputs:
         artifact: 'Ubuntu'
         path: $(Agent.TempDirectory)\package
+    - task: DownloadPipelineArtifact@2
+      displayName: 'Download Ubuntu 20.04 Build'
+      inputs:
+        artifact: 'Ubuntu-20.04'
+        path: $(Agent.TempDirectory)\package
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Ubuntu ARM64 Build'
       inputs: