From ede936c20f9a723d442a3c35692e3f4f0e114345 Mon Sep 17 00:00:00 2001 From: Kim Morrison <477956+kim-em@users.noreply.github.com> Date: Wed, 18 Feb 2026 06:56:15 +1100 Subject: [PATCH] chore: begin development cycle for v4.30.0 (#12526) This PR begins the development cycle for v4.30.0 by updating `LEAN_VERSION_MINOR` to 30 in `src/CMakeLists.txt`. Co-authored-by: Claude Opus 4.6 --- src/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 0d620dcdfd..961e6a3c45 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -10,7 +10,7 @@ endif() include(ExternalProject) project(LEAN CXX C) set(LEAN_VERSION_MAJOR 4) -set(LEAN_VERSION_MINOR 29) +set(LEAN_VERSION_MINOR 30) set(LEAN_VERSION_PATCH 0) set(LEAN_VERSION_IS_RELEASE 0) # This number is 1 in the release revision, and 0 otherwise. set(LEAN_SPECIAL_VERSION_DESC "" CACHE STRING "Additional version description like 'nightly-2018-03-11'")