Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 77748 5a2a297a91f8
parent 77744 1398add8c414
child 77751 7ac59361791e 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 29 15:02:09 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 29 20:41:54 2023 +0200
@@ -598,6 +598,7 @@
                 Logger_Task("build_log_database",
                   logger =>
                     Build_Log.build_log_database(logger.options, build_log_dirs,
+                      ml_statistics = true,
                       snapshot = Some(Isabelle_Devel.build_log_snapshot))),
                 Logger_Task("build_status",
                   logger => Isabelle_Devel.build_status(logger.options)))))),
isabelle