src/Pure/Admin/isabelle_cronjob.scala

--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 12:51:47 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 12:52:14 2023 +0100
@@ -492,7 +492,7 @@
       log(end_date, msg)
     }
 
-    val log_dir = Isabelle_System.make_directory(main_dir + Build_Log.log_subdir(start_date))
+    val log_dir: Path = Isabelle_System.make_directory(main_dir + Build_Log.log_subdir(start_date))
 
     log(start_date, "started")
   }