# HG changeset patch
# User wenzelm
# Date 1721896222 -7200
# Node ID 94703573e0af3ee2799a74a7b7cf1e687d8facf5
# Parent  49b38572a9f1acf968c430eb0b18ca52cbb04b28
tuned names;

diff -r 49b38572a9f1 -r 94703573e0af src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Jul 24 19:08:08 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Jul 25 10:30:22 2024 +0200
@@ -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,7 +387,7 @@
           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",
           args = "-a -X large -X slow",