nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 14, 2023 · c20b8cb · c20b8cb
1 parent 995b408
commit c20b8cb
Showing 1 changed file with 7 additions and 7 deletions.
diff --git 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