Failure in build system

[Fabian Huch]

I think the problem comes from Isabelle/0e36478a1b6a. Initializing the 
PIDE Session inside Session_Job creates a null store:

override val store:Store =store

so each call of Session.cache creates a new cache, allocating additional 
memory. It looks like the intention of the above assignment is to assign 
the store from the build context?


Fabian


On 6/26/25 10:15, Fabian Huch wrote:
>
> 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/366f92f3/attachment.htm>