src/Pure/Tools/build_process.scala

--- a/src/Pure/Tools/build_process.scala	Sat Jul 01 16:47:52 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Sun Jul 02 15:25:12 2023 +0200
@@ -866,7 +866,8 @@
           val progress =
             new Database_Progress(progress_db, build_progress,
               hostname = hostname,
-              context_uuid = build_uuid)
+              context_uuid = build_uuid,
+              kind = "build_process")
           (progress, progress.agent_uuid)
         }
         catch { case exn: Throwable => close(); throw exn }