Repository navigation

ci: dispatch documentation after successful releases - #135

Open

tjduigna wants to merge 1 commit into

mainfrom

fix/dispatch-release-docs

Open

ci: dispatch documentation after successful releases#135
tjduigna wants to merge 1 commit into
mainfrom
fix/dispatch-release-docs

Commits on Oct 13, 2026
- ci: dispatch documentation after successful releases
  tjduigna
  committed
  cf47e65