diff -r 417b490c9b89 -r 24e686fe043e src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Sat Nov 18 15:44:46 2023 +0100
+++ b/src/Pure/Admin/build_history.scala	Sat Nov 18 16:58:14 2023 +0100
@@ -257,15 +257,15 @@
 
       val build_end = Date.now()
 
+      val store = Store(options + "build_database_server=false")
+
       val build_info: Build_Log.Build_Info =
-        Build_Log.Log_File(log_path.file_name, build_result.out_lines).
+        Build_Log.Log_File(log_path.file_name, build_result.out_lines, cache = store.cache).
           parse_build_info(ml_statistics = true)
 
 
       /* output log */
 
-      val store = Store(options + "build_database_server=false")
-
       val meta_info =
         Properties.lines_nonempty(Build_Log.Prop.build_tags.name, build_tags) :::
         Properties.lines_nonempty(Build_Log.Prop.build_args.name, build_args1) :::
@@ -317,7 +317,7 @@
               using(SQLite.open_database(database))(store.read_ml_statistics(_, session_name))
             }
             else if (log_gz.is_file) {
-              Build_Log.Log_File.read(log_gz.file)
+              Build_Log.Log_File.read(log_gz.file, cache = store.cache)
                 .parse_session_info(ml_statistics = true).ml_statistics
             }
             else Nil