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

Set ToolVersion to 2.0

Browse source
This commit is contained in:
John Fleisher 2023-05-03 08:43:19 -04:00
parent 6c24a70c44
commit cbbab584db
2 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
scripts/nightly.yaml
View file

@ -279,6 +279,7 @@ stages:
continueOnError: true continueOnError: true
displayName: 'Sign Package' displayName: 'Sign Package'
inputs: inputs:
arguments: '-Verbosity detailed'
ConnectedServiceName: 'z3-esrp-signing-2' ConnectedServiceName: 'z3-esrp-signing-2'
FolderPath: $(Build.ArtifactStagingDirectory) FolderPath: $(Build.ArtifactStagingDirectory)
Pattern: Microsoft.Z3.$(NightlyVersion).nupkg Pattern: Microsoft.Z3.$(NightlyVersion).nupkg
@ -290,14 +291,14 @@ stages:
"OperationCode" : "NuGetSign", "OperationCode" : "NuGetSign",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
}, },
{ {
"KeyCode" : "CP-401405", "KeyCode" : "CP-401405",
"OperationCode" : "NuGetVerify", "OperationCode" : "NuGetVerify",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
} }
] ]
SessionTimeout: '60' SessionTimeout: '60'
@ -318,14 +319,14 @@ stages:
"OperationCode" : "NuGetSign", "OperationCode" : "NuGetSign",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
}, },
{ {
"KeyCode" : "CP-401405", "KeyCode" : "CP-401405",
"OperationCode" : "NuGetVerify", "OperationCode" : "NuGetVerify",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
} }
] ]
SessionTimeout: '60' SessionTimeout: '60'
@ -395,14 +396,14 @@ stages:
"OperationCode" : "NuGetSign", "OperationCode" : "NuGetSign",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
}, },
{ {
"KeyCode" : "CP-401405", "KeyCode" : "CP-401405",
"OperationCode" : "NuGetVerify", "OperationCode" : "NuGetVerify",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
} }
] ]
SessionTimeout: '60' SessionTimeout: '60'
@ -423,14 +424,14 @@ stages:
"OperationCode" : "NuGetSign", "OperationCode" : "NuGetSign",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
}, },
{ {
"KeyCode" : "CP-401405", "KeyCode" : "CP-401405",
"OperationCode" : "NuGetVerify", "OperationCode" : "NuGetVerify",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
} }
] ]
SessionTimeout: '60' SessionTimeout: '60'

8
scripts/release.yml
View file

@ -366,14 +366,14 @@ stages:
"OperationCode" : "NuGetSign", "OperationCode" : "NuGetSign",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
}, },
{ {
"KeyCode" : "CP-401405", "KeyCode" : "CP-401405",
"OperationCode" : "NuGetVerify", "OperationCode" : "NuGetVerify",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
} }
] ]
SessionTimeout: '60' SessionTimeout: '60'
@ -393,14 +393,14 @@ stages:
"OperationCode" : "NuGetSign", "OperationCode" : "NuGetSign",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
}, },
{ {
"KeyCode" : "CP-401405", "KeyCode" : "CP-401405",
"OperationCode" : "NuGetVerify", "OperationCode" : "NuGetVerify",
"Parameters" : {}, "Parameters" : {},
"ToolName" : "sign", "ToolName" : "sign",
"ToolVersion" : "1.0" "ToolVersion" : "2.0"
} }
] ]
SessionTimeout: '60' SessionTimeout: '60'