From 835dd9414f8466f77f1fecadbac380dfe142ee21 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Dec 2020 13:06:26 -0800 Subject: [PATCH] nightly Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 54b9a3614..b5cb79af9 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -170,7 +170,7 @@ stages: displayName: 'NuGet Pack Symbols' inputs: command: custom - arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' + arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' - task: PublishPipelineArtifact@1 inputs: targetPath: $(Build.ArtifactStagingDirectory)