Travis is broken?
Closed this issue · 6 comments
The nightly builds aren't getting updated. I have zero Travis-fu myself, I can't even figure out how to get to the build page. Can someone find out what is wrong and fix it?
@JasonGross any time to look at this?
I'm not Jason, but I believe that I know the cause of the build failure. I'm pushing pull request #973 which I believe Travis will try to build even if it's not yet merged. From the build logs we should then be able to see whether my attempted fix works.
Mike: You can examine the build log at https://travis-ci.org/HoTT/book, by clicking on one of the jobs.
Update: Travis just finished building the branch of the pull request. It aborted at the end because builds of pull requests don't have the necessary authentication tokens available to push to the master repository (this is a good thing and to be expected), and the problem I set out to fix indeed seems to be fixed. Whether it really works can only be tested by merging #973.
Great, thanks! I've merged #973, let's see what happens.
Woot! Seems to be fixed! Thanks a bunch.
Just out of curiosity, do you have any idea what changed to cause this to break? The original version used to work.
There's some cutoff, and book versions older than that cutoff got deleted, if I recall correctly. My guess is that the HoTT book used to be updated frequently enough that there were always at least two old versions of the book laying around, and the issue only arose when enough time passed between updates that there was only one old copy of the book, and it was too old? Alternatively, maybe whatever heuristics we were using to guess the dates of things stopped working? Or maybe some date comparison got confused by year boundaries?