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

[Tobias Nipkow]

On 16/11/2021 13:01, Makarius wrote:
> So the practical question is: Could the AFP test machine be upgraded to SSD /
> NVME?

I'll check if that can be done right away and then we can see.

What I never understood is why incremental generation of presentations is no 
longer possible.

Tobias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211116/07d3d021/attachment.bin>