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 (40GB total);
authorwenzelm
Wed, 01 Feb 2023 20:07:13 +0100
changeset 77171 e0e9f1b4c844
parent 77170 2ddb82044ff0
child 77172 816959264c32
less ambitious parallelism: avoid exhaustion of memory (40GB total);
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Feb 01 15:39:48 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Feb 01 20:07:13 2023 +0100
@@ -376,7 +376,7 @@
       List(
         Remote_Build("AFP", "lrzcloud2",
           java_heap = "8g",
-          options = "-m32 -M1x6 -t AFP" +
+          options = "-m32 -M1x5 -t AFP" +
             " -e ISABELLE_GHC=ghc" +
             " -e ISABELLE_MLTON=mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
isabelle