ci: update GitHub Actions to publish API docs on release or on manual trigger#5

Merged

Deyang-Dai merged 3 commits intomainfrom ci/docs-publish

Dec 23, 2024

+58-33

Commits on Dec 21, 2024

ci: update GitHub Actions to publish API docs on release or on manual trigger
Deyang-Dai
committed
ci: fix docs-publish workflow error by setting fetch-tags as true
Deyang-Dai
committed
ci: replace fetch-tags with fetch-depth in docs-publish.yml
Deyang-Dai
committed