From 28d62bfedb39787aaac09c197826de661c311cd1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 1 Feb 2024 14:26:01 -0800
Subject: [PATCH] move to use release.yml version for windows build

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 8683523f5..3d59a11d7 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -149,7 +149,13 @@ stages:
         artifactName: '$(name)Build'
         targetPath: $(Build.ArtifactStagingDirectory)
 
+  - template: build-win-signed.yml
+    parameters:
+      ReleaseVersion: $(ReleaseVersion)
+      BuildArchitecture: 'x86'
+
   - job: Windows32
+    condition: eq(0, 1)
     displayName: "Windows 32-bit build"
     pool:
       vmImage: "windows-latest"
@@ -416,7 +422,7 @@ stages:
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Win32 Build'
       inputs:
-        artifact: 'Windows32'
+        artifact: 'WindowsBuild-x86'
         path: $(Agent.TempDirectory)\package
     - task: NuGetToolInstaller@0
       inputs: