# HG changeset patch
# User nipkow
# Date 1691584439 -7200
# Node ID 964de51dd2e4780b475ccae70a4afc2460728868
# Parent  2a26d423d9fb9e79b1e84621fbeeace6c43dd205# Parent  b159a5496a3e9c15289993ac69d47521249bf2d1
merged

diff -r b159a5496a3e -r 964de51dd2e4 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 09 09:22:15 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 09 14:33:59 2023 +0200
@@ -307,6 +307,14 @@
         }
       }
 
+  val remote_build_mini3 =
+    Remote_Build("macOS 13 Ventura (ARM64)", "mini3",
+      history_base = "8e590adaac5e",
+      options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
+        " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
+        " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
+      args = "-a -d '~~/src/Benchmarks'")
+
   val remote_builds1: List[List[Remote_Build]] = {
     List(
       List(Remote_Build("Linux A", "augsburg1",
@@ -347,12 +355,7 @@
         Remote_Build("macOS, skip_proofs", "mini2",
           options = "-m32 -M4 -t skip_proofs -p pide_session=false", args = "-a -o skip_proofs",
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"))),
-      List(
-        Remote_Build("macOS 13 Ventura (ARM64)", "mini3",
-          options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
-            " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
-            " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
-          args = "-a -d '~~/src/Benchmarks'")),
+      List(remote_build_mini3, remote_build_mini3, remote_build_mini3),
       List(
         Remote_Build("macOS 12 Monterey", "monterey", user = "makarius",
           options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",