chore: bump version number

DEIS-Tools · Nov 26, 2022 · afc6f10 · afc6f10
1 parent 8964213
commit afc6f10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -10,7 +10,7 @@ mainClassName = 'HUPPAAL'
 
 allprojects {
     group = 'dk.cs.aau.huppaal'
-    version = '1.3.0'
+    version = '1.4.0'
 }
 
 def getGitCommitSha = { ->