This makes sure we upload the same files to Github Releases and PyPI. Currently we were building them twice, with the risk of different files being uploaded to the two repositories.
This makes sure we upload the same files to Github Releases and PyPI. Currently we were building them twice, with the risk of different files being uploaded to the two repositories.