[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation
nipkow at in.tum.de
Wed Nov 17 07:23:01 CET 2021
On 17/11/2021 00:41, Makarius wrote:
> On 16/11/2021 22:08, Makarius wrote:
>> Moreover, this change will save a lot of Java heap:
>> Thus we should be back to a half-decent situation.
> Half-decent in that version means 2h for presentation.
For the AFP test hardware we seem to be back more or less to where we were, i.e.
about 40 mins for presentation.
Thanks a lot for that!!
> (I will make one more round to see if the session dependency situation can be
> further clarified. This will allow better persistance of results, e.g. for
> incremental presentation.)
> Afp-submit mailing list
> Afp-submit at mailman46.in.tum.de
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev