Travis build 9 pushed to Github Pages