Failure in build system

[Fabian Huch]

Those are due to repeated crashes because of memory problems since 
yesterday afternoon:

*** *** java.lang.OutOfMemoryError: Java heap space

*** Ran out of memory retrieving query results.

I am not yet sure what causes the increased memory consumption.


Fabian

On 6/25/25 21:32, Florian Haftmann wrote:
>> *** Unable to convert bytea parameter at position 7 to literal
>> Job ended at Wed Jun 25 21:29:15 GMT+2 2025, with status failed
>
> https://build.proof.cit.tum.de/build?id=e42c0340-8807-4c4c-b9c4-64757f490958 
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250626/80927597/attachment-0001.htm>