Closed
Description
We should push website and readme version updates after the artifacts have successfully been pushed. Integration tests (part of the deployment step) sometimes fail because of flakiness, and it's wasted effort to push a new version of the website send a PR to update the readme versions when Travis will have to be rerun.