ci: update upstream

aya-prover · Dec 13, 2023 · 1e74abb · 1e74abb
1 parent 451a843
commit 1e74abb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -2,7 +2,7 @@
 # The Version of this project, aka, The Aya Theorem Prover.
 # Remove "-SNAPSHOT" suffix and run gradle publish to release a new version.
 # After that, increase the version number and add "-SNAPSHOT" suffix back for next cycle.
-project = "0.30-SNAPSHOT"
+project = "0.30"
 
 # https://openjdk.org/
 java = "21"
@@ -11,7 +11,7 @@ java = "21"
 annotations = "24.0.1"
 kala = "0.69.0"
 picocli = "4.7.5"
-build-util = "0.0.20"
+build-util = "0.0.21"
 # https://github.com/graalvm/native-build-tools
 graal-tools = "0.9.28"
 # https://github.com/jline/jline3