diff -r d89685d3d306 -r a4d94dd5c210 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Mar 26 12:07:52 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Mar 26 16:04:06 2024 +0100
@@ -338,7 +338,7 @@
         Remote_Build("AFP (macOS 14 Sonoma, Apple Silicon)", "studio1-sonoma", history = 120,
           history_base = "build_history_base_arm",
           java_heap = "8g",
-          options = "-m32 -M1x6 -p pide_session=false -t AFP" +
+          options = "-m32 -M1x5 -p pide_session=false -t AFP" +
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",