From 9f891c4751c143f158ea8e17ebae5efcd38cc9a9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=90=D0=BB=D0=B5=D0=BA=D1=81=D0=B0=D0=BD=D0=B4=D1=8A?= =?UTF-8?q?=D1=80=20=D0=9A=D1=83=D1=80=D1=82=D0=B0=D0=BA=D0=BE=D0=B2?= Date: Mon, 7 Apr 2025 09:28:01 +0300 Subject: [PATCH] Remove jacoco profile It's not used and only generates churn in the repo to keep jacoco plugin uptodate (as in https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/pull/2965 ) --- eclipse-platform-parent/pom.xml | 31 ------------------------------- 1 file changed, 31 deletions(-) diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml index 10b645bffb0..5f5762155c1 100644 --- a/eclipse-platform-parent/pom.xml +++ b/eclipse-platform-parent/pom.xml @@ -1019,37 +1019,6 @@ - - coverage - - - - ${project.basedir}/../target/jacoco.exec - ${jacoco.destFile} - - - - - org.jacoco - jacoco-maven-plugin - 0.8.12 - - - jacoco-agent - - prepare-agent - - - - - true - - - - - - checkstyle