Repository navigation

CI: javac lint and javadoc doclint checks - #15

Merged

heliocosta-dev merged 1 commit into

mainfrom

Oct 8, 2026

Merged

CI: javac lint and javadoc doclint checks#15
heliocosta-dev merged 1 commit into
mainfrom
ci-lint

Commits on Oct 8, 2026
- Add a CI lint job: javac -Xlint:all as errors and javadoc doclint
  
  heliocosta-dev
  and
  claude
  committed
  d16d7de