Repository navigation

ci: add Javadoc deployment to GitHub Pages and update README badges - #37

Merged

fupacat merged 2 commits into

ci/javadoc-github-pages

Oct 12, 2026

Merged

ci: add Javadoc deployment to GitHub Pages and update README badges#37
fupacat merged 2 commits into
masterfrom
ci/javadoc-github-pages

Commits on Oct 12, 2026
- ci: add Javadoc deployment to GitHub Pages and update README badges
  fupacat
  committed
  9259b0f
- fix(ci): pass GH_REPO to gh CLI in checkout-less PR workflows
  fupacat
  committed
  1f13c94