From 0e0c2f6f29fc052450b603e9e7f3bb5a968adf31 Mon Sep 17 00:00:00 2001
From: Ulli Hafner <ullrich.hafner@gmail.com>
Date: Fri, 8 Dec 2023 08:42:58 +0100
Subject: [PATCH] Improve Jenkinsfile for autograding.

---
 etc/Jenkinsfile.autograding | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/etc/Jenkinsfile.autograding b/etc/Jenkinsfile.autograding
index 53859115..3fa11e29 100644
--- a/etc/Jenkinsfile.autograding
+++ b/etc/Jenkinsfile.autograding
@@ -19,7 +19,7 @@ node {
         recordIssues tool: errorProne(), healthy: 1, unhealthy: 20
 
         junit testResults: '**/target/*-reports/TEST-*.xml'
-        recordCoverage tools: [[parser: 'JACOCO']], sourceCodeRetention: 'EVERY_BUILD'
+        recordCoverage tools: [[parser: 'JACOCO']], sourceCodeRetention: 'EVERY_BUILD', name: 'Code Coverage'
 
         recordIssues tools: [checkStyle(pattern: 'target/checkstyle-result.xml'),
             spotBugs(pattern: 'target/spotbugsXml.xml'),
@@ -33,7 +33,7 @@ node {
         withMaven(maven: 'mvn-default', mavenLocalRepo: '/var/data/m2repository', mavenOpts: '-Xmx768m -Xms512m') {
             sh "mvn -ntp org.pitest:pitest-maven:mutationCoverage"
         }
-        recordCoverage tools: [[parser: 'PIT']], id: 'pit', sourceCodeRetention: 'EVERY_BUILD'
+        recordCoverage tools: [[parser: 'PIT']], id: 'pit', name: 'Mutation Coverage', sourceCodeRetention: 'EVERY_BUILD'
     }
 
     stage ('Collect Maven Warnings') {
@@ -101,7 +101,7 @@ node {
                           "metric": "line"
                         },
                         {
-                          "id": "jacoco",
+                          "id": "coverage",
                           "name": "Branch Coverage",
                           "metric": "branch"
                         }