Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned output;
authorwenzelm
Sat, 04 Nov 2023 16:31:02 +0100
changeset 78896 3523df57df51
parent 78895 801f8237cc5e
child 78897 541ea5302200
tuned output;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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 =>
isabelle