GitHub PushEvent at 2014-11-30 19:11:21
Repository: HoTT
Actor: JasonGross
Payload: {"shas":[["5414a69edcb7540a767247c8ac02b1a0304d8750","1fb13b1f48f1e85dffd6bab984b7c9632373a49b@travis.fake","Autoupdate documentation with coqdoc and proviola and time2html\n\nGenerated with `make html proviola`","Travis-CI Bot",true]],"size":1,"ref":"refs/heads/gh-pages","head":"5414a69edcb7540a767247c8ac02b1a0304d8750"}