change version number in gradle build script

KeYProject · Nov 10, 2023 · edb9fb2 · edb9fb2
1 parent 7de8f96
commit edb9fb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -40,7 +40,7 @@ static def getDate() {
 def build = System.env.BUILD_NUMBER == null ? "" : "-${System.env.BUILD_NUMBER}"
 
 group = "org.key-project"
-version = "2.12.1$build"
+version = "2.12.2$build"
 
 subprojects {
     apply plugin: "java"