Enable api-check and javadoc profiles

Should reduce problems in workspace.
eclipse-jdtls · Jan 23, 2025 · f1b6672 · f1b6672
1 parent 341028a
commit f1b6672
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -33,7 +33,7 @@ pipeline {
 					# Build and test without DOM-first to ensure no regression takes place
 					mvn -U clean verify --batch-mode --fail-at-end -Dmaven.repo.local=$WORKSPACE/.m2/repository \
 						-pl !org.eclipse.jdt.core.tests.javac \
-						-Ptest-on-javase-23 -Pbree-libs -Pp2-repo \
+						-Ptest-on-javase-23 -Pbree-libs -Papi-check -Pjavadoc -Pp2-repo \
 						-Dmaven.test.failure.ignore=true \
 						-Dcompare-version-with-baselines.skip=false \
 						-Djava.io.tmpdir=$WORKSPACE/tmp -Dproject.build.sourceEncoding=UTF-8 \