Skip to content

Check the javadoc on every push - #66

Merged
rousso merged 1 commit into
developfrom
ci/check-javadoc
Sep 6, 2026
Merged

Check the javadoc on every push#66
rousso merged 1 commit into
developfrom
ci/check-javadoc

Conversation

@rousso

@rousso rousso commented Sep 6, 2026

Copy link
Copy Markdown
Contributor

The javadoc is generated only by the release profile, which runs at deploy — on pushes to develop and when a release is published. A malformed comment therefore fails the publish, after the GitHub release is already tagged and public, leaving a release that points at nothing on Maven Central.

Maven Central itself does not inspect the javadoc: it requires a -javadoc.jar to be present and explicitly says it does not evaluate the contents, allowing even a placeholder jar. What fails is our own build, because doclint is set to all,-missing in the pom. That setting is worth keeping — it catches broken {@link}s and malformed HTML — so it should be checked where the comment is written rather than at publication.

A separate workflow rather than a step in build.yml, so the failing check names itself in the pull request. Tests are compiled but not run; build.yml is unchanged.

Both javadoc:javadoc and javadoc:test-javadoc pass on this branch today.

Same change as OP-TED/efx-toolkit-java#174.

@rousso
rousso merged commit 16ffea1 into develop Sep 6, 2026
6 checks passed
@rousso
rousso deleted the ci/check-javadoc branch September 6, 2026 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant