src/Pure/Build/build_job.scala

--- a/src/Pure/Build/build_job.scala	Wed Jun 25 16:35:25 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Thu Jun 26 17:14:01 2025 +0200
@@ -172,7 +172,7 @@
 
           val session =
             new Session(options) {
-              override val store: Store = store
+              override val store: Store = build_context.store
 
               override val resources: Resources =
                 new Resources(session_background, log = log,