build_task

[Lawrence Paulson]

It is somehow broken. I've made two attempts and it seems to always die like this.

*** '), ('0'::int8), ('0'::int8), ?, ('62474c52-55f8-4ca8-9577-ee151a524bc5')) was aborted: ERROR: duplicate key value violates unique constraint "isabelle_build_sessions_pkey"
*** Detail: Key (name)=(HOL-Matrix_LP) already exists. Call getNextException to see other errors in the batch.
Job ended at Fri Jan 30 12:50:19 GMT+1 2026, with status failed
 
Larry