Deploy Travis CI build 1264 to GitHub pages