diff --git a/Jenkinsfile b/Jenkinsfile index 3e74dd6e2f85bfb636eb760d775fb33e9d39027e..69cc3a8607386c345a7ef71ce3a1827a3adf537e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -497,7 +497,9 @@ pipeline { } post { always { - recordIssues enabledForFailure: true, tools: [[tool: [$class: 'Clang']]] + recordIssues enabledForFailure : true, + filters: [includeCategory('clang-analyzer.*')], + tools: [[name:'Clang (StaticAnalyzer)', tool:[$class:'Clang']]] } } }