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.
show more build history for AFP;
authorwenzelm
Mon, 24 Jul 2023 22:53:18 +0200
changeset 78451 c32b8d5a9e07
parent 78450 14219730e04f
child 78452 14ceb9a51e97
show more build history for AFP;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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