# HG changeset patch
# User wenzelm
# Date 1690231998 -7200
# Node ID c32b8d5a9e072da068a20a2eeea838e610bb81c4
# Parent  14219730e04f606ef21ae05c7c24a28dfa45579c
show more build history for AFP;

diff -r 14219730e04f -r c32b8d5a9e07 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Jul 24 21:05:11 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Jul 24 22:53:18 2023 +0200
@@ -378,7 +378,7 @@
   val remote_builds2: List[List[Remote_Build]] =
     List(
       List(
-        Remote_Build("AFP", "lrzcloud2",
+        Remote_Build("AFP", "lrzcloud2", history = 120,
           java_heap = "8g",
           options = "-m32 -M1x5 -t AFP" +
             " -e ISABELLE_GHC=ghc" +