mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

add sign

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-01-13 23:33:35 -08:00
parent 54524de784
commit 5dbd0bb658
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/build-win-signed.yml
View file

@ -38,7 +38,7 @@ jobs:
publishSymbols: true publishSymbols: true
symbolServerType: TeamServices symbolServerType: TeamServices
detailedLog: true detailedLog: true
- task: EsrpCodeSigning@1 - task: EsrpCodeSigning@2
displayName: Sign displayName: Sign
inputs: inputs:
ConnectedServiceName: 'z3-esrp-signing-2' ConnectedServiceName: 'z3-esrp-signing-2'