Deployed Travis CI build 812 to GitHub pages.