[isabelle-dev] testboard stuck?

[Tobias Nipkow]

I suspect that is not of your making. Poly/ML, OS and even the hardware come to 
mind...

Tobias

On 01/08/2020 11:15, Lawrence Paulson wrote:
> Run #347 (with one slightly modified lemma) also aborted, in a different place:
> 
>> 21:50:01 HOL-Nominal-Examples: theory HOL-Nominal-Examples.Weakening
>> 21:52:04 HOL-Nominal-Examples: theory HOL-Nominal-Examples.Class2
>> 21:52:06 HOL-Nominal-Examples: theory HOL-Nominal-Examples.Class3
>> 23:42:11 Build timed out (after 180 minutes). Marking the build as aborted.
>> 23:42:11 Build was aborted
> 
> What could be going on?
> 
> Larry
> 
>> On 31 Jul 2020, at 16:26, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
>>
>> I had a run going (the change involved adding a single lemma and shouldn’t have affected anything) but it got stuck as shown in the screenshot and was aborted after three hours. Any idea what could have gone wrong here?
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 

-------------- 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/20200801/8e4d99c8/attachment.bin>