Problem with isabelle build_task

[Makarius]

On 19/12/2024 13:50, Florian Haftmann wrote:
> 
> *** Unable to convert bytea parameter at position 7 to literal
> 
> https://build.proof.cit.tum.de/build?id=c2a000a2-aa24-4481-806e-196c5a06fa4d
> 
> Whats going wrong here?

I've seen this and a few other breakdowns as well, shortly after I've updated 
some relevant Isabelle components, e.g. see Isabelle/f48597f265ff.

I am presently trying out some variations, directly on the build manager 
server, to see if this is the reason, or something completely different.


	Makarius