--- 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",