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 78451 c32b8d5a9e07
parent 78257 9d5e2a08ba1b
child 78454 47d5e8be39a9 
--- 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" +
isabelle