diff -r 72e0b25a8f3c -r a225609e3344 src/Pure/Build/build_job.scala
--- a/src/Pure/Build/build_job.scala	Tue Sep 23 12:36:36 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Tue Sep 23 13:11:52 2025 +0200
@@ -239,7 +239,9 @@
                   })
                 val result =
                   if (nodes_changed.isEmpty) None
-                  else Some(Progress.Nodes_Status(nodes_domain, nodes_status1))
+                  else {
+                    Some(Progress.Nodes_Status(nodes_domain, nodes_status1, session = session_name))
+                  }
 
                 nodes_changed = Set.empty
                 nodes_status = nodes_status1