duplicate key value violates unique constraint "isabelle_build_sessions_pkey"

[Tobias Nipkow]

Unfortunately the build system has hit the same problem again.

Tobias

On 01/01/2026 22:46, Makarius wrote:
> 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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4856 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20260102/30b50e7c/attachment.bin>