The release workflow (to push to PyPI) is broken

[dairiki]

The release workflow currently fails with:

HTTPError: 400 Bad Request from https://upload.pypi.org/legacy/ User 'lovasoa' does not have a verified primary email address. Please add a verified primary email before attempting to upload to PyPI. See https://pypi.org/help/#verified-email for more information.

[lovasoa]

Ok, my email should be verified now; thanks for raising this @dairiki

[dairiki]

@lovasoa Thank you. That seems to have done the trick!