diff -r 5c70d1c27a2e -r 0f9bae334ac6 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 01 00:04:57 2025 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 01 13:56:39 2025 +0100
@@ -110,7 +110,7 @@
             val context = Build_Release.Release_Context(target_dir, progress = progress)
             Build_Release.build_release_archive(context, rev)
             Build_Release.build_release(logger.options, context, afp_rev = afp_rev,
-              build_sessions = List(Isabelle_System.getenv("ISABELLE_LOGIC")),
+              build_sessions = List(Isabelle_System.default_logic()),
               website = Some(website_dir))
           }
         )