Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: fix the 'deploy' workflow for dists on github.
The name of the artifact expected by `github-publish` was no the same as the one created in `release-build`. The name was fixed to correspond to the GitHub actions docs of "publishing to PyPI".
- Loading branch information