From c20b8cb9788bc445600c637e763c9c37e0fb6c57 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 13 Dec 2023 18:46:20 -0800
Subject: [PATCH] nightly

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index ad7f19a9c..4de95339c 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -233,13 +233,13 @@ stages:
         symbolServerType: TeamServices
         detailedLog: true
 
-- job: "WindowsArm64"
-  displayName: "Windows"
-  pool: 
-    vmImage: "windows-latest"
-  variables:
-     arch: "amd64_arm64"
-  steps:
+  - job: "WindowsArm64"
+    displayName: "Windows"
+    pool: 
+      vmImage: "windows-latest"
+    variables:
+       arch: "amd64_arm64"
+    steps:
     - script: md build
     - script: |
          cd build