From 59d47e30559d90a35fabb2c1f6fdfadf8ee11fd1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 21 Jul 2022 14:43:49 -0700
Subject: [PATCH] don't publish pypi yet

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

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 4b2834640..ac430374b 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -39,6 +39,7 @@ Version 4.10.0
     of the form x = 0
   - After (partial) completion, perform factorization for factors of the
     form x*y*p = 0 where x, are variables, p is linear.
+- Added support for declaring algebraic datatypes from the C++ interface.
     
 
 Version 4.9.1
diff --git a/scripts/release.yml b/scripts/release.yml
index 419d4bc4b..87ab5358c 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -521,7 +521,7 @@ stages:
 
   # Enable on release:
   - job: PyPIPublish
-    condition: eq(1,1)
+    condition: eq(0,1)
     displayName: "Publish to PyPI"
     pool:
       vmImage: "ubuntu-latest"