diff --git a/CMakeLists.txt b/CMakeLists.txt
index ea554a5b0..622d0a198 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -11,7 +11,7 @@ if (POLICY CMP0042)
 endif()
 
 set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
-project(Z3 VERSION 4.8.10.0 LANGUAGES CXX)
+project(Z3 VERSION 4.8.11.0 LANGUAGES CXX)
 
 ################################################################################
 # Project version
diff --git a/scripts/mk_project.py b/scripts/mk_project.py
index 5590e7237..9236c5b1e 100644
--- a/scripts/mk_project.py
+++ b/scripts/mk_project.py
@@ -8,7 +8,7 @@
 from mk_util import *
 
 def init_version():
-    set_version(4, 8, 10, 0)
+    set_version(4, 8, 11, 0)
     
 # Z3 Project definition
 def init_project_def():
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c3a39a078..089855ce4 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -1,5 +1,5 @@
 variables:
-  ReleaseVersion: '4.8.10'
+  ReleaseVersion: '4.8.11'
 
 stages:
 - stage: Build
diff --git a/scripts/release.yml b/scripts/release.yml
index 95f1431c9..55157bc8f 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -346,7 +346,7 @@ stages:
 
   # Enable on release:
   - job: PyPIPublish
-    condition: eq(1,1)
+    condition: eq(0,1)
     displayName: "Publish to PyPI"
     pool:
       vmImage: "ubuntu-latest"