Hi, Makes sense to me. Can you create a PR? That should only be done though with the main OS/JDK. No need to build javadoc with every OS/JDK combination. Konrad
> Am 11.10.2023 um 11:11 schrieb Stefan Seifert > <[email protected]>: > > if often happens that releases fail due to small javadoc errors, which get > obvious when the "javadoc:javadoc" goal is executed on the command line. but > this does not fail our CI builds, that's why it often goes unnoticed for > quite some time (also in PRs). > > we should add that goal to our default build goals in jenkins. > > WDYT? > > stefan
