Update release.yml for Azure Pipelines

set credential to key at nuget.org
Z3Prover · Jul 30, 2022 · a2d4419 · a2d4419
1 parent 69b1337
commit a2d4419
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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