duplicate key value violates unique constraint "isabelle_build_sessions_pkey"

[Makarius]

On 02/01/2026 09:15, Tobias Nipkow wrote:
> Unfortunately the build system has hit the same problem again.

I have reset everything once more, and tried "isabelle build_task -a" 
successfully.

Hopefully this is sufficient for the rest of the Christmas vacation. I will be 
mostly unavailable at least until 07-Jan-2026.


	Makarius