proper store.cache.compress;

--- a/src/Pure/Build/build_job.scala	Thu Feb 22 12:57:42 2024 +0100
+++ b/src/Pure/Build/build_job.scala	Thu Feb 22 13:00:58 2024 +0100
@@ -524,7 +524,8 @@
             heaps_database =>
               for (db <- database_server orElse heaps_database) {
                 val slice = Space.MiB(options.real("build_database_slice"))
-                ML_Heap.store(db, store_session, slice, progress = progress)
+                ML_Heap.store(db, store_session, slice,
+                  cache = store.cache.compress, progress = progress)
               }
           }