update folder names to align with mk_win_dist_cmake

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 2, 2024 · 77b98d5 · 77b98d5
1 parent bd2d96e
commit 77b98d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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