diff -r 6204f51104da -r 788d7f3caa41 src/Pure/Build/browser_info.scala
--- a/src/Pure/Build/browser_info.scala	Tue Jun 24 22:17:35 2025 +0200
+++ b/src/Pure/Build/browser_info.scala	Tue Jun 24 22:21:49 2025 +0200
@@ -699,7 +699,7 @@
       val sessions1 =
         deps.sessions_structure.build_requirements(sessions).filter { session_name =>
           using(database_context.open_database(session_name)) { session_database =>
-            database_context.store.read_build(session_database.db, session_name) match {
+            store.read_build(session_database.db, session_name) match {
               case None => false
               case Some(build) =>
                 val session_dir = context0.session_dir(session_name)