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 83503 7b1b7ac616c0
parent 83315 03dfb684a50d
child 83504 24998f6c9c15 
--- a/src/Pure/Build/build_job.scala	Tue Nov 04 17:20:20 2025 +0100
+++ b/src/Pure/Build/build_job.scala	Tue Nov 04 20:11:15 2025 +0100
@@ -167,7 +167,8 @@
                 case None => status
                 case Some(snapshot) =>
                   Exn.Interrupt.expose()
-                  status.update_node(snapshot.state, snapshot.version, snapshot.node_name,
+                  status.update_node(Date.now(),
+                    snapshot.state, snapshot.version, snapshot.node_name,
                     threshold = editor_timing_threshold)
               }
             })
isabelle