I get to “Successfully released packages to PyPi”, and the VERSION is correct, but the pantsbuild.pants package index page doesn’t show the new release, and it’s not installable.