From b54ed38cea4fa44e917666902e912b490743a547 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 9 May 2025 13:15:42 -0700
Subject: [PATCH] enable pypi

---
 RELEASE_NOTES.md    | 2 ++
 scripts/release.yml | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index cabf9e681..4545ec884 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -13,8 +13,10 @@ Version 4.15.0
 - Improved integer cut algorithms for linear integer arithmetic.
   It integrates diophantine equation solving with stronger cuts.
 - C and OCaml API for accessing numerics, thanks to Josh Berdine
+- A minimal mcp server in src/api/z3mcp.py that can run locally.
 - Bug fixes.
 
+
 Version 4.14.1
 ==============
 - Add ubv_to_int, sbv_to_int, int_to_bv to SMTLIB2 API.
diff --git a/scripts/release.yml b/scripts/release.yml
index 1e1b02c3f..85024a7d0 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -587,7 +587,7 @@ stages:
 
      
   - job: NuGetPublish
-    condition: eq(0,1)
+    condition: eq(1,1)
     displayName: "Publish to NuGet.org"
     steps:
     - task: DownloadPipelineArtifact@2