Repository navigation

Fix GitHub Packages publishing, publish Javadoc to GitHub Pages - #13

Merged

simonebortolin merged 3 commits into

ccr-a2adee01-oq8jvw

Oct 24, 2026

Merged

Fix GitHub Packages publishing, publish Javadoc to GitHub Pages#13
simonebortolin merged 3 commits into
masterfrom
ccr-a2adee01-oq8jvw

Commits on Oct 24, 2026
- Publish a lowercase artifactId to GitHub Packages
  claude
  committed
  e5846f6
- Release as a patch version
  claude
  committed
  49615e0
- Ship the Javadoc with the release and publish it to GitHub Pages
  claude
  committed
  4a931d5