diff --git a/scripts/Jenkinsfiles/quality b/scripts/Jenkinsfiles/quality index 1087134611..bc849032e9 100644 --- a/scripts/Jenkinsfiles/quality +++ b/scripts/Jenkinsfiles/quality @@ -193,10 +193,7 @@ pipeline { unstash 'quality-3-reports' unstash 'quality-4-reports' // Check for warnings - warnings canComputeNew: false, canResolveRelativePaths: false, canRunOnFailed: true, categoriesPattern: '', - defaultEncoding: '', excludePattern: '', healthy: '', includePattern: '', messagesPattern: '', - parserConfigurations: [[parserName: 'Pep8', pattern: 'reports/pep8/pep8.report'], [parserName: 'PyLint', pattern: 'reports/**/pylint.report']], - unHealthy: '' + recordIssues enabledForFailure: true, tools: [pep8(pattern: 'reports/pep8/pep8.report'), pyLint(pattern: 'reports/**/pylint.report')] // Publish Quality report publishHTML([allowMissing: true, alwaysLinkToLastBuild: false, keepAll: true, reportDir: 'reports/metrics/',