From bd2d96eacba6af3f7766fe58770fd2f71eddcd08 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 1 Feb 2024 20:16:04 -0800 Subject: [PATCH] update folder names to align with mk_win_dist_cmake Signed-off-by: Nikolaj Bjorner --- scripts/build-win-signed.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/scripts/build-win-signed.yml b/scripts/build-win-signed.yml index bae692c529d..4f20b53322e 100644 --- a/scripts/build-win-signed.yml +++ b/scripts/build-win-signed.yml @@ -25,7 +25,7 @@ jobs: - task: CopyFiles@2 displayName: 'Collect Symbols' inputs: - sourceFolder: dist + sourceFolder: build-dist/${{parameters.BuildArchitecture}}/ contents: '**/*.pdb' targetFolder: '$(Build.ArtifactStagingDirectory)/symbols' # Publish symbol archive to match nuget package @@ -35,14 +35,14 @@ jobs: symbolsFolder: '$(Build.ArtifactStagingDirectory)/symbols' searchPattern: '**/*.pdb' indexSources: false # Github sources not supported - publishSymbols: true + publishSymbols: true. symbolServerType: TeamServices detailedLog: true - task: EsrpCodeSigning@2 displayName: Sign inputs: ConnectedServiceName: 'z3-esrp-signing-2' - FolderPath: 'dist/${{parameters.BuildArchitecture}}/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win/bin' + FolderPath: 'build-dist/${{parameters.BuildArchitecture}}/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win/bin' Pattern: 'Microsoft.Z3.dll,libz3.dll,libz3java.dll,z3.exe' signConfigType: 'inlineSignParams' inlineOperation: | @@ -82,12 +82,12 @@ jobs: - task: DeleteFiles@1 displayName: Cleanup inputs: - SourceFolder: 'dist/${{parameters.BuildArchitecture}}/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win/bin' + SourceFolder: 'build-dist/${{parameters.BuildArchitecture}}/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win/bin' Contents: 'CodeSignSummary*' - task: ArchiveFiles@2 displayName: Zip inputs: - rootFolderOrFile: 'dist/${{parameters.BuildArchitecture}}/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win' + rootFolderOrFile: 'build-dist/${{parameters.BuildArchitecture}}/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win' includeRootFolder: true archiveType: 'zip' archiveFile: '$(Build.ArtifactStagingDirectory)/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win.zip'