Improve Jenkinsfile for autograding.

uhafner · Dec 8, 2023 · 0e0c2f6 · 0e0c2f6
1 parent 59328e1
commit 0e0c2f6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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"
                         }