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

[Makarius]

On 09/08/2020 20:28, Makarius wrote:
> 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.

David Matthews has solved this particular problem on his side already some
days ago, but presently I cannot follow the Poly/ML repository, because there
are othe problems (see Isabelle/284d6c06cbfb).


	Makarius