build: fix jacoco

aya-prover · Sep 25, 2023 · f1d3069 · f1d3069
1 parent 9762542
commit f1d3069
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -75,7 +75,8 @@ subprojects {
   }
 
   if (name in useJacoco) jacoco {
-    toolVersion = deps.getProperty("version.jacoco")
+    // https://github.com/jacoco/jacoco
+    toolVersion = "0.8.10"
   }
 
   idea.module {

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -12,8 +12,6 @@ jline = "3.23.0"
 # https://github.com/commonmark/commonmark-java
 commonmark = "0.21.1"
 jimgui = "v0.21.0"
-# https://github.com/jacoco/jacoco
-jacoco = "0.8.10"
 junit = "5.10.0"
 hamcrest = "2.2"
 # https://github.com/google/gson