From d0c96abe305bc2a580d85726b6355ea0833441e9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 Feb 2021 14:44:05 -0800
Subject: [PATCH] log classificaiton

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 5ea90e0ef..79e25d857 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -149,6 +149,11 @@ stages:
       inputs:
         artifact: 'Windows64'
         path: $(Agent.TempDirectory)\package
+    - task: DownloadPipelineArtifact@2
+      displayName: 'Download Win32 Build'
+      inputs:
+        artifact: 'Windows32'
+        path: $(Agent.TempDirectory)\package
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Ubuntu Build'
       inputs: