From a2d44194a4612b60ff67f211d24fa29a1f217a9e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 30 Jul 2022 05:20:33 +0200
Subject: [PATCH] Update release.yml for Azure Pipelines

set credential to key at nuget.org
---
 scripts/release.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index ffa16e656..ebf1e381d 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -516,8 +516,9 @@ stages:
       inputs:
         command: push
         nuGetFeedType: External
-        publishFeedCredentials: Z3Nuget
+        publishFeedCredentials: $(NugetZ3)
         packagesToPush: $(Agent.TempDirectory)/*.nupkg
+        
 
   # Enable on release:
   - job: PyPIPublish