diff -r 66fc98b4557b -r 54991440905e src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Mon Aug 21 13:01:45 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Mon Aug 21 15:04:22 2023 +0200
@@ -459,7 +459,6 @@
             stmt.long(7) = session.old_time.ms
             stmt.bytes(8) = session.old_command_timings_blob
             stmt.string(9) = session.build_uuid
-            true
           })
       }
 
@@ -602,7 +601,6 @@
             stmt.string(2) = cat_lines(task.deps)
             stmt.string(3) = JSON.Format(task.info)
             stmt.string(4) = task.build_uuid
-            true
           })
       }
 
@@ -659,7 +657,6 @@
             stmt.string(3) = job.build_uuid
             stmt.string(4) = job.node_info.hostname
             stmt.int(5) = job.node_info.numa_node
-            true
           })
       }
 
@@ -755,7 +752,6 @@
             stmt.long(11) = process_result.timing.gc.ms
             stmt.string(12) = result.output_shasum.toString
             stmt.bool(13) = result.current
-            true
           })
       }