Skip to content

ci: publish the docs site on release rather than on push to main - #249

Merged
Naruto merged 1 commit into
developfrom
ci/deploy-docs-on-release
Aug 1, 2026
Merged

ci: publish the docs site on release rather than on push to main#249
Naruto merged 1 commit into
developfrom
ci/deploy-docs-on-release

ci: publish the docs site on release rather than on push to main

78009b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 1, 2026 in 20s