[CHORE] Fix CI build number. Oops

2023-11-05 14:31:52 +02:00
parent e1254f0fe0
commit fd443fb0d5
1 changed files with 2 additions and 1 deletions
--- a/build.gradle
+++ b/build.gradle
@@ -15,7 +15,8 @@ sourceCompatibility = JavaVersion.VERSION_1_8
 targetCompatibility = JavaVersion.VERSION_1_8

 if (System.getenv('BUILD_NUMBER') != null) {
-    version = "${base_version}." + (System.getenv('BUILD_NUMBER') - 1)
+    var build = (System.getenv('BUILD_NUMBER').toInteger() - 1)
+    version = "${base_version}.${build}"
 }

 configurations {