From 80f429c3fb6d9a10399f61d169bec26516567e4f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Jan 2021 00:33:05 -0800
Subject: [PATCH] nuget

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 8bfafb416..078108262 100644
--- 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"