From 77b98d5b02c2f0ffe5411b3c09ff26c830f2b832 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 1 Feb 2024 20:54:36 -0800
Subject: [PATCH] update folder names to align with mk_win_dist_cmake

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/build-win-signed.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build-win-signed.yml b/scripts/build-win-signed.yml
index 4f20b53322e..5ebf71f6a1e 100644
--- a/scripts/build-win-signed.yml
+++ b/scripts/build-win-signed.yml
@@ -26,7 +26,7 @@ jobs:
     displayName: 'Collect Symbols'
     inputs:
       sourceFolder: build-dist/${{parameters.BuildArchitecture}}/
-      contents: '**/*.pdb'
+      contents: '*.pdb'
       targetFolder: '$(Build.ArtifactStagingDirectory)/symbols'
   # Publish symbol archive to match nuget package
   # Index your source code and publish symbols to a file share or Azure Artifacts symbol server