Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Build/build_job.scala
changeset 83223 a225609e3344
parent 83222 72e0b25a8f3c
child 83224 14d83daeaafc 
--- 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
isabelle