move windows builds to use mk_win_dist_cmake in nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 2, 2024 · 736d634 · 736d634
1 parent cfc8774
commit 736d634
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'