fix: dev profile

Decathlon · Jun 11, 2021 · 772385a · 772385a
1 parent 2eca28a
commit 772385a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/code/api/api/pom.xml b/code/api/api/pom.xml
@@ -395,7 +395,8 @@
                 <!-- skip tests, but need to define it on each sub module-->
                 <maven.test.skip>true</maven.test.skip>
                 <!-- no jacoco for dev profile -->
-                <jacoco.phase>none</jacoco.phase>
+                <jacoco.phase.agent>none</jacoco.phase.agent>
+                <jacoco.phase.report>none</jacoco.phase.report>
                 <!-- skip some lombok stuff for dev profile -->
                 <delombok.phase>none</delombok.phase>
             </properties>

diff --git a/code/api/lib/pom.xml b/code/api/lib/pom.xml
@@ -179,7 +179,8 @@
                 <!-- skip tests, but need to define it on each sub module-->
                 <maven.test.skip>true</maven.test.skip>
                 <!-- no jacoco for dev profile -->
-                <jacoco.phase>none</jacoco.phase>
+                <jacoco.phase.agent>none</jacoco.phase.agent>
+                <jacoco.phase.report>none</jacoco.phase.report>
                 <!-- skip some lombok stuff for dev profile -->
                 <delombok.phase>none</delombok.phase>
             </properties>