# HG changeset patch
# User paulson
# Date 1722076877 -3600
# Node ID 604653cc39cb21bde4b907be9a5b014184896d2d
# Parent  6a5514a4f7a014a35d92ebb3a9552df4ebc5ef8f# Parent  7157c61c84616b35c91b6c3b82d31fb28a718b7a
merged

diff -r 7157c61c8461 -r 604653cc39cb src/Pure/Admin/isabelle_cronjob.scala
--- 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")))