Deploy Travis CI build 1173 to GitHub pages