From 736d6348e60b8742ea1c0a6d761b2f101ca06807 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 2 Feb 2024 13:05:01 -0800
Subject: [PATCH] move windows builds to use mk_win_dist_cmake in nightly

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 4a054919a..7339ff3c2 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -160,7 +160,7 @@ stages:
       ReleaseVersion: $(ReleaseVersion)
       BuildArchitecture: 'x64'
 
-- template: build-win-signed-cmake.yml
+  - template: build-win-signed-cmake.yml
     parameters:
       ReleaseVersion: $(ReleaseVersion)
       BuildArchitecture: 'arm64'