Skip to content

ci: deploy docs on release instead of every push to main#315

Merged
btravers merged 2 commits into
mainfrom
ci/deploy-docs-on-release
Jul 14, 2026
Merged

ci: deploy docs on release instead of every push to main#315
btravers merged 2 commits into
mainfrom
ci/deploy-docs-on-release

ci: drop workflow_dispatch and collapse duplicate release deploys

792d8d5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lint
succeeded Jul 14, 2026 in 26s