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.
merged
authorpaulson
Sat, 27 Jul 2024 11:41:17 +0100
changeset 80619 604653cc39cb
parent 80617 6a5514a4f7a0 (diff)
parent 80618 7157c61c8461 (current diff)
child 80620 ee77d9d40be6
merged
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Jul 27 11:41:08 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Jul 27 11:41:17 2024 +0100
@@ -356,7 +356,7 @@
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
           args = "-a -d '~~/src/Benchmarks'")),
       List(
-        Remote_Build("AFP (macOS 14 Sonoma, Apple Silicon)", "studio1-sonoma", history = 120,
+        Remote_Build("AFP macOS (macOS 14 Sonoma, Apple Silicon)", "studio1-sonoma", history = 120,
           history_base = "build_history_base_arm",
           java_heap = "8g",
           options = "-m32 -M1x5 -p pide_session=false -t AFP" +
@@ -387,9 +387,9 @@
           args = "-a -d '~~/src/Benchmarks'",
           count = () => 3)),
       List(
-        Remote_Build("Windows/AFP", "windows2",
+        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