src/Pure/Build/build_job.scala

--- a/src/Pure/Build/build_job.scala	Sat Oct 18 16:34:02 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Sat Oct 18 17:29:39 2025 +0200
@@ -164,7 +164,7 @@
       val state = get_state()
       val result =
         synchronized {
-          for (id <- state.progress_theories) nodes_changed += id
+          for (id <- state.progress_theories if !nodes_changed(id)) nodes_changed += id
           val nodes_status1 =
             nodes_changed.foldLeft(nodes_status)({ case (status, state_id) =>
               state.theory_snapshot(state_id, build_blobs) match {