HoTT/book

Nightly builds pdfs are dead links

Closed this issue · 8 comments

The nightly builds are all dead links, and do not contain the up-to-date PDFs.

There are copies here, however they do not have the same version numbers as the version number given in the nightlybuilds wiki page.

Can we upload updated nightly build pdfs and correct the wiki links? Thanks!

Hmm. Those are supposed to be compiled automatically. It looks like maybe @favonia set up the most recent autobuild system in #1102?

Sorry for the trouble I might have caused... I will take a look this weekend.

@mikeshulman I seem to have lost write access to this repository, which made the investigation a bit challenging.

Added!

@Jbollenbacher Thanks for the report. The culprit is that the GitHub Actions to upload wiki pages uses gh, but we use a custom container that does not come with gh installed. (One of them changed... because it worked in the past.) The current progress is that, I tried to install gh but the special TexLive container doesn't seem to have sudo...? I'm pushing another commit and let's see how it goes...

@Jbollenbacher @mikeshulman After some hacking I believe it works. Please check.

Looks good to me! Thanks. Does it work for you too, @Jbollenbacher ?

Looks good now, thanks all