Replace cobertura with coverage plugin in plugin installation wizard (#…

…8879) Replace cobertura with coverage plugin. The coverage plugin combines all coverage tools into a single plugin. See https://github.com/jenkinsci/coverage-plugin.
jenkinsci · Jan 26, 2024 · 4ec1639 · 4ec1639
1 parent 27b8a5e
commit 4ec1639
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/resources/jenkins/install/platform-plugins.json b/core/src/main/resources/jenkins/install/platform-plugins.json
@@ -35,7 +35,7 @@
   {
     "category": "Build Analysis and Reporting",
     "plugins": [
-      { "name": "cobertura" },
+      { "name": "coverage" },
       { "name": "htmlpublisher" },
       { "name": "junit" },
       { "name": "warnings-ng" },