proper progress.now();

--- a/src/Pure/Build/build_job.scala	Tue Nov 04 20:11:15 2025 +0100
+++ b/src/Pure/Build/build_job.scala	Tue Nov 04 20:16:21 2025 +0100
@@ -167,7 +167,7 @@
                 case None => status
                 case Some(snapshot) =>
                   Exn.Interrupt.expose()
-                  status.update_node(Date.now(),
+                  status.update_node(progress.now(),
                     snapshot.state, snapshot.version, snapshot.node_name,
                     threshold = editor_timing_threshold)
               }