Update Jenkinsfile: reject ECJ warnings (#1069)

eclipse-jdt · Jan 16, 2024 · fe71a51 · fe71a51
1 parent 24d4eae
commit fe71a51
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -27,7 +27,9 @@ pipeline {
 					archiveArtifacts artifacts: '*.log,*/target/work/data/.metadata/*.log,*/tests/target/work/data/.metadata/*.log,apiAnalyzer-workspace/.metadata/*.log', allowEmptyArchive: true
 					junit '**/target/surefire-reports/*.xml'
 					discoverGitReferenceBuild referenceJob: 'eclipse.jdt.ui-github/master'
-					recordIssues tools: [eclipse(), mavenConsole(), javaDoc()]
+					recordIssues publishAllIssues:false, tools:  [eclipse()], qualityGates: [[threshold: 1, type: 'DELTA_NORMAL', unstable: true]], minimumSeverity: 'NORMAL'
+					recordIssues publishAllIssues:false, tools:  [javaDoc()], qualityGates: [[threshold: 1, type: 'DELTA', unstable: true]]
+					recordIssues publishAllIssues:false, tools: [mavenConsole()], qualityGates: [[threshold: 1, type: 'DELTA_ERROR', unstable: true]]
 				}
 			}
 		}