Skip to content

Ask the documentation site for a new build when a release is published. - #73

Merged
gustavofreze merged 1 commit into
mainfrom
ci/notify-documentation-site
Oct 24, 2026
Merged

gustavofreze merged 1 commit into
mainfrom
ci/notify-documentation-site

Commits

  1. Commits on Oct 24, 2026