mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-14 10:01:16 +00:00
Code Activity

collect symbols to architecture folder

Browse source
This commit is contained in:
jofleish 2022-08-31 15:42:33 -04:00
parent 9c7a3e4f8d
commit 1080a9de84
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
scripts/nightly.yaml
View file

@ -149,12 +149,12 @@ stages:
inputs: inputs:
sourceFolder: dist sourceFolder: dist
contents: '**/*.pdb' contents: '**/*.pdb'
targetFolder: '$(Build.ArtifactStagingDirectory)/symbols' targetFolder: '$(Build.ArtifactStagingDirectory)/symbols/x86'
# Publish symbol archive to match nuget package # Publish symbol archive to match nuget package
# Index your source code and publish symbols to a file share or Azure Artifacts symbol server # Index your source code and publish symbols to a file share or Azure Artifacts symbol server
- task: PublishSymbols@2 - task: PublishSymbols@2
inputs: inputs:
symbolsFolder: '$(Build.ArtifactStagingDirectory)/symbols' symbolsFolder: '$(Build.ArtifactStagingDirectory)/symbols/x86'
searchPattern: '**/*.pdb' searchPattern: '**/*.pdb'
indexSources: false # Github not supported indexSources: false # Github not supported
publishSymbols: true publishSymbols: true
@ -189,12 +189,12 @@ stages:
inputs: inputs:
sourceFolder: dist sourceFolder: dist
contents: '**/*.pdb' contents: '**/*.pdb'
targetFolder: '$(Build.ArtifactStagingDirectory)/symbols' targetFolder: '$(Build.ArtifactStagingDirectory)/symbols/x64'
# Publish symbol archive to match nuget package # Publish symbol archive to match nuget package
# Index your source code and publish symbols to a file share or Azure Artifacts symbol server # Index your source code and publish symbols to a file share or Azure Artifacts symbol server
- task: PublishSymbols@2 - task: PublishSymbols@2
inputs: inputs:
symbolsFolder: '$(Build.ArtifactStagingDirectory)/symbols' symbolsFolder: '$(Build.ArtifactStagingDirectory)/symbols/x64'
searchPattern: '**/*.pdb' searchPattern: '**/*.pdb'
indexSources: false # Github not supported indexSources: false # Github not supported
publishSymbols: true publishSymbols: true