# HG changeset patch
# User wenzelm
# Date 1699125017 -3600
# Node ID 6dc989ae43278e4bfbb32610d238ff48915dc564
# Parent  6874791b24d929be870e47f96213bc9d7cd71426
explore history more thoroughly;

diff -r 6874791b24d9 -r 6dc989ae4327 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 04 17:19:22 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 04 20:10:17 2023 +0100
@@ -212,7 +212,8 @@
 
         pick_recent(options.int("build_log_history") max history, 2) orElse
         pick_recent(200, 5) orElse
-        pick_recent(2000, 1)
+        pick_recent(2000, 50) orElse
+        pick_recent(0, 1)
       }
     }