diff --git a/Jenkinsfile b/Jenkinsfile index c0119f8..054dfef 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,6 +14,7 @@ pipeline { stage('Test') { steps { sh "make test" + recordCoverage(tools: [[parser: 'COBERTURA', pattern: 'docker/test/coverage.xml']]) } } }