More accurate release check.

Signed-off-by: Abdalrhman M Mohamed <[email protected]>
kind2-mc · Jan 14, 2021 · 2313dab · 2313dab
1 parent 1cf07b3
commit 2313dab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -7,7 +7,7 @@ plugins {
 
 group = 'edu.uiowa.cs.clc'
 version = gitVersion()
-ext.isReleaseVersion = version.matches("[0-9].[0-9].[0-9]")
+ext.isReleaseVersion = version.matches("[0-9]+.[0-9]+.[0-9]+")
 
 repositories {
   mavenCentral()