From 7c2e4f2f9c546ee0b8ed241c7ea85a903b2b7c38 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 13 Dec 2023 20:43:17 -0800
Subject: [PATCH] fiddle with what gets added to win-arm64

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 4de95339c93..0f533765409 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -234,11 +234,12 @@ stages:
         detailedLog: true
 
   - job: "WindowsArm64"
-    displayName: "Windows"
+    displayName: "WindowsArm64"
     pool: 
       vmImage: "windows-latest"
     variables:
        arch: "amd64_arm64"
+       bindings: "-DCMAKE_BUILD_TYPE=RelWithDebInfo"
     steps:
     - script: md build
     - script: |
@@ -250,7 +251,7 @@ stages:
     - task: CopyFiles@2
       inputs:
         sourceFolder: build
-        contents: '*.zip'
+        contents: '*z3*.*'
         targetFolder: $(Build.ArtifactStagingDirectory)
     - task: PublishPipelineArtifact@1
       inputs: