Release workflow: explicitly dispatch PyPI publish#708

Merged

guysmoilov merged 2 commits into

mainfrom

fix-release-publish-trigger

Jul 16, 2026

Commits on Jul 16, 2026

Explicitly dispatch PyPI publish (GITHUB_TOKEN releases don't trigger release: published)
guysmoilov
committed
Dispatch publish by release tag, not commit SHA (workflow_dispatch ref requires a branch/tag)
guysmoilov
committed