[isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP

Makarius makarius at sketis.net
Sun Aug 9 20:28:16 CEST 2020


On 09/08/2020 19:55, Lawrence Paulson wrote:
> What on Earth is this?
> 
>> 17:40:59 Loading theory "Nullstellensatz.Nullstellensatz_Field"
>> 17:40:59 ### theory "Nullstellensatz.Nullstellensatz_Field"
>> 17:40:59 ### 0.649s elapsed time, 3.076s cpu time, 0.000s GC time
>> 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No statistics available

I guess it is a situation that David Matthews has described to me privately:
$HOME/.polyml is somehow filled up and should be purged.

I cannot do anything about testboard.


	Makarius



More information about the isabelle-dev mailing list