mirror of
https://github.com/Z3Prover/z3
synced 2025-06-27 00:18:45 +00:00
Update build-win-signed-cmake.yml
This commit is contained in:
parent
bce1be47b8
commit
a3c8bbb461
1 changed files with 1 additions and 54 deletions
|
@ -31,59 +31,6 @@ jobs:
|
||||||
sourceFolder: build-dist/${{parameters.BuildArchitecture}}/
|
sourceFolder: build-dist/${{parameters.BuildArchitecture}}/
|
||||||
contents: '*.pdb'
|
contents: '*.pdb'
|
||||||
targetFolder: '$(Build.ArtifactStagingDirectory)/symbols'
|
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
|
|
||||||
- task: PublishSymbols@2
|
|
||||||
condition: eq(1,0)
|
|
||||||
inputs:
|
|
||||||
symbolsFolder: '$(Build.ArtifactStagingDirectory)/symbols'
|
|
||||||
searchPattern: '**/*.pdb'
|
|
||||||
indexSources: false # Github sources not supported
|
|
||||||
publishSymbols: true
|
|
||||||
symbolServerType: TeamServices
|
|
||||||
detailedLog: true
|
|
||||||
- task: EsrpCodeSigning@2
|
|
||||||
displayName: Sign
|
|
||||||
condition: eq(1,0)
|
|
||||||
inputs:
|
|
||||||
ConnectedServiceName: 'z3-esrp-signing-2'
|
|
||||||
FolderPath: 'build-dist/${{parameters.BuildArchitecture}}/dist/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win/bin'
|
|
||||||
Pattern: 'Microsoft.Z3.dll,libz3.dll,libz3java.dll,z3.exe'
|
|
||||||
signConfigType: 'inlineSignParams'
|
|
||||||
inlineOperation: |
|
|
||||||
[
|
|
||||||
{
|
|
||||||
"keyCode": "CP-230012",
|
|
||||||
"operationSetCode": "SigntoolSign",
|
|
||||||
"parameters": [
|
|
||||||
{
|
|
||||||
"parameterName": "OpusName",
|
|
||||||
"parameterValue": "Microsoft"
|
|
||||||
},
|
|
||||||
{
|
|
||||||
"parameterName": "OpusInfo",
|
|
||||||
"parameterValue": "http://www.microsoft.com"
|
|
||||||
},
|
|
||||||
{
|
|
||||||
"parameterName": "PageHash",
|
|
||||||
"parameterValue": "/NPH"
|
|
||||||
},
|
|
||||||
{
|
|
||||||
"parameterName": "FileDigest",
|
|
||||||
"parameterValue": "/fd sha256"
|
|
||||||
},
|
|
||||||
{
|
|
||||||
"parameterName": "TimeStamp",
|
|
||||||
"parameterValue": "/tr \"http://rfc3161.gtm.corp.microsoft.com/TSS/HttpTspServer\" /td sha256"
|
|
||||||
}
|
|
||||||
],
|
|
||||||
"toolName": "signtool.exe",
|
|
||||||
"toolVersion": "6.2.9304.0"
|
|
||||||
}
|
|
||||||
]
|
|
||||||
SessionTimeout: '60'
|
|
||||||
MaxConcurrency: '50'
|
|
||||||
MaxRetryAttempts: '5'
|
|
||||||
- task: DeleteFiles@1
|
- task: DeleteFiles@1
|
||||||
displayName: Cleanup
|
displayName: Cleanup
|
||||||
inputs:
|
inputs:
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue