src/Pure/Build/build_job.scala

--- a/src/Pure/Build/build_job.scala	Mon Oct 06 19:03:11 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Mon Oct 06 20:56:16 2025 +0200
@@ -380,6 +380,7 @@
                 session.synchronized { stderr ++= Symbol.encode(XML.content(message)) }
               }
               else if (msg.is_exit) {
+                nodes_status_end()
                 val err =
                   "Prover terminated" +
                     (msg.properties match {