mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-25 21:57:00 +00:00
Code Activity

add signing to nightly

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-12-22 13:13:04 -08:00
parent 1c3b768ed0
commit 9d22cf4d4f
1 changed files with 27 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

49
scripts/nightly.yaml
View file

@ -147,28 +147,33 @@ stages:
inputs: inputs:
command: custom command: custom
arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.sym.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.sym.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out'
# - task: PythonScript@0 - task: EsrpCodeSigning@1
# displayName: 'Python: assemble files' displayName: 'Sign Package'
# inputs: inputs:
# scriptSource: 'filepath' ConnectedServiceName: 'z3-esrp-signing'
# scriptPath: scripts\mk_nuget_task.py FolderPath: $(Build.ArtifactStagingDirectory)
# workingDirectory: $(Agent.TempDirectory)\package Pattern: Microsoft.Z3.x64.$(ReleaseVersion).nupkg
# arguments: signConfigType: 'inlineSignParams'
# $(Agent.TempDirectory)\package inlineOperation: |
# $(ReleaseVersion) [
# $(Build.Repository.Uri) {
# $(Build.SourceBranchName) "KeyCode" : "CP-401405",
# $(Build.SourceVersion) "OperationCode" : "NuGetSign",
# $(Build.SourcesDirectory) "Parameters" : {},
# nosymbols "ToolName" : "sign",
# - task: NugetCommand@2 "ToolVersion" : "1.0"
# displayName: 'NuGet Pack' },
# inputs: {
# command: pack "KeyCode" : "CP-401405",
# packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec "OperationCode" : "NuGetVerify",
# basePath: $(Agent.TempDirectory)\package\out "Parameters" : {},
# packDestination: $(Build.ArtifactStagingDirectory) "ToolName" : "sign",
# verbosityPack: detailed "ToolVersion" : "1.0"
}
]
SessionTimeout: '60'
MaxConcurrency: '50'
MaxRetryAttempts: '5'
- task: PublishPipelineArtifact@1 - task: PublishPipelineArtifact@1
inputs: inputs:
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)