diff --git a/Jenkinsfile.public b/Jenkinsfile.public index 53e7f646f..8206629e6 100644 --- a/Jenkinsfile.public +++ b/Jenkinsfile.public @@ -87,7 +87,10 @@ pipeline { sh script: 'filter-cover-profile < .build/coverprofile > .build/clean.coverprofile', returnStatus: true sh script: 'gocov convert .build/clean.coverprofile > .build/cover.json', returnStatus: true sh script: 'gocov-xml < .build/cover.json > .build/cobertura.xml', returnStatus: true - cobertura coberturaReportFile: '.build/cobertura.xml' + cobertura coberturaReportFile: '.build/cobertura.xml', + lineCoverageTargets: '100, 0, 0', + autoUpdateHealth: true, + failUnhealthy: true } } }