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

Update release.yml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-01-13 17:10:36 -08:00
parent c33b1e3082
commit 54524de784
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scripts/release.yml
View file

@ -233,14 +233,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'
@ -260,14 +260,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'