Repository navigation

ci: publish the API documentation to GitHub Pages - #10

Merged

bfabio merged 1 commit into

mainfrom

Aug 31, 2026

Commits on Aug 31, 2026
- ci: publish the API documentation to GitHub Pages
  bfabio
  committed
  280c313