From 5866d6ee3fc406b762dad9e6cb98e1c455a98c8e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Dec 2020 09:40:08 -0800 Subject: [PATCH] custom 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 9cf913d09..a559c63b5 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -166,7 +166,7 @@ stages: displayName: 'NuGet Pack Symbols' inputs: command: custom - arguments: 'nuget pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' + arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' packDestination: $(Build.ArtifactStagingDirectory) verbosityPack: detailed