Deployed Travis CI build 723 to GitHub pages.