fiddle with what gets added to win-arm64

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