--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Nov 04 16:30:24 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Nov 04 16:31:02 2023 +0100
@@ -630,6 +630,8 @@
File.write(main_state_file, main_start_date.toString + " " + log_service.hostname)
val build_log_database_progress = new File_Progress(build_log_database_log, verbose = true)
+ build_log_database_progress.echo(
+ "Started at " + Build_Log.print_date(build_log_database_progress.start))
run(main_start_date,
Logger_Task("isabelle_cronjob", logger =>