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.
less ambitious parallelism: avoid exhaustion of memory (64GB total);
authorwenzelm
Fri, 26 Jul 2024 22:32:31 +0200
changeset 80617 6a5514a4f7a0
parent 80616 94703573e0af
child 80619 604653cc39cb
less ambitious parallelism: avoid exhaustion of memory (64GB total);
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Jul 25 10:30:22 2024 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 26 22:32:31 2024 +0200
@@ -389,7 +389,7 @@
       List(
         Remote_Build("AFP Windows", "windows2",
           java_heap = "8g",
-          options = "-m32 -M1x6 -t AFP",
+          options = "-m32 -M1x5 -t AFP",
           args = "-a -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP")))
isabelle