nuget

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 20, 2021 · 80f429c · 80f429c
1 parent 27ea232
commit 80f429c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -226,7 +226,7 @@ stages:
     - task: PublishPipelineArtifact@1
       inputs:
         targetPath: $(Build.ArtifactStagingDirectory)
-        artifactName: 'NuGet'
+        artifactName: 'NuGetPackage'
 
   - job: PythonPackage
     displayName: "Python packaging"