mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-06 11:20:26 +00:00
Code Activity

try snupkg parameter

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-12-20 17:54:11 -08:00
parent 9e54cd63dc
commit 715b1fd393
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/nightly.yaml
View file

@ -165,7 +165,8 @@ stages:
- task: NugetCommand@2 - task: NugetCommand@2
displayName: 'NuGet Pack Symbols' displayName: 'NuGet Pack Symbols'
inputs: inputs:
command: pack command: custom
arguments: pack -p:SymbolPackageFormat=snupkg
packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec
basePath: $(Agent.TempDirectory)\package\out basePath: $(Agent.TempDirectory)\package\out
packDestination: $(Build.ArtifactStagingDirectory) packDestination: $(Build.ArtifactStagingDirectory)