diff -r 1a211cab7022 -r 4da06d599ef6 src/Pure/Build/build_job.scala
--- a/src/Pure/Build/build_job.scala	Mon Oct 06 18:53:06 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Mon Oct 06 19:03:11 2025 +0200
@@ -250,6 +250,11 @@
 
           val nodes_delay = Delay.first(build_progress_delay) { nodes_status_progress() }
 
+          def nodes_status_end(): Unit = {
+            nodes_delay.revoke()
+            nodes_status_progress()
+          }
+
           def fun(
             name: String,
             acc: mutable.ListBuffer[Properties.T],
@@ -430,9 +435,7 @@
             }
 
           session.stop()
-
-          nodes_delay.revoke()
-          nodes_status_progress()
+          nodes_status_end()
 
           val export_errors =
             export_consumer.shutdown(close = true).map(Output.error_message_text)