diff -r 2e1f75c870e3 -r b676998d7f97 src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Thu Feb 22 13:27:15 2024 +0100
+++ b/src/Pure/Build/build_process.scala	Thu Feb 22 13:57:13 2024 +0100
@@ -1020,11 +1020,12 @@
     val cancelled = progress.stopped || !ancestor_results.forall(_.ok)
 
     if (!skipped && !cancelled) {
-      val hierarchy =
-        (session_name :: ancestor_results.map(_.name))
-          .map(store.output_session(_, store_heap = true))
-      ML_Heap.restore(_database_server orElse _heaps_database,
-        hierarchy, cache = store.cache.compress)
+      for (db <- _database_server orElse _heaps_database) {
+        val hierarchy =
+          (session_name :: ancestor_results.map(_.name))
+            .map(store.output_session(_, store_heap = true))
+        ML_Heap.restore(db, hierarchy, cache = store.cache.compress)
+      }
     }
 
     val result_name = (session_name, worker_uuid, build_uuid)