duplicate key value violates unique constraint "isabelle_build_sessions_pkey"

[Makarius]

On 30/12/2025 20:49, Florian Haftmann wrote:
> There is a reproducible break down in the build system:
> 
> https://build.proof.cit.tum.de/build?id=038ecd8c-6a3e-4e55-bacd-a455cf7f6b40

Thanks for the hint. I have now reset the database state of the build server.


> A few weeks ago there was a similar break down.
> 
> What is going on here?
There is some fragility in the design and/or implementation of the cluster. 
Rather soon, I need to sit down with Fabian Huch, to sort it out.


	Makarius