Compute diff statistics.

uhafner · Mar 21, 2022 · 47b8f02 · 47b8f02
1 parent 02235cc
commit 47b8f02
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -6,6 +6,7 @@ node('java11-agent') {
     stage ('Git mining') {
         discoverGitReferenceBuild()
         mineRepository()
+        gitDiffStat()
     }
 
     stage ('Build, Test, and Static Analysis') {