[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation

Gerwin Klein kleing at unsw.edu.au
Tue Nov 16 09:50:42 CET 2021

> On 16 Nov 2021, at 7:16 pm, Tobias Nipkow <nipkow at in.tum.de> wrote:
> We are both right: in the log I looked at, the proofs only left 90 minutes for the presentation until timeout (hence no upper bound), but as you point out, if the proofs are shorter, the presentation part will happily use the rest of the 4 hours.

Right, that explains the 90 min vs 4h, and it looks like Fabian has already identified a range of change sets that might be the cause.

So apart from the fork, nothing specific needs to happen on the AFP side at the moment.


More information about the isabelle-dev mailing list