From bd2a53c4753aad171d362084bdbe92e0a79dc52e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 23 Dec 2021 11:48:08 -0800
Subject: [PATCH] Update release.yml for Azure Pipelines

---
 scripts/release.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 69c26d624..7f297dcd2 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -167,10 +167,11 @@ stages:
     - powershell: write-host $(System.TeamProjectId)
       displayName: 'System.TeamProjectId'
     - task: DownloadPipelineArtifact@2
-      displayName: 'Download Win64 Build'
+      displayName: 'Download NWin64 Build'
       inputs:
         artifact: 'WindowsBuild-x64'
         path: $(Agent.TempDirectory)\package
+    - task: DownloadPipelineArtifact@2        
       displayName: 'Download Win32 Build'
       inputs:
         artifact: 'WindowsBuild-x86'