diff -r 223356965f61 -r e7e95718e869 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 05 14:01:14 2024 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Jul 05 16:28:05 2024 +0200
@@ -347,15 +347,15 @@
           afp = true,
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP"))),
       List(
-        Remote_Build("macOS, quick_and_dirty", "mini2",
+        Remote_Build("macOS 14 Sonoma, quick_and_dirty", "mini2-sonoma",
           options = "-m32 -M4 -t quick_and_dirty -p pide_session=false",
           args = "-a -o quick_and_dirty",
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("quick_and_dirty"),
-          count = () => 0),
-        Remote_Build("macOS, skip_proofs", "mini2",
+          count = () => 1),
+        Remote_Build("macOS 14 Sonoma, skip_proofs", "mini2-sonoma",
           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"),
-          count = () => 0)),
+          count = () => 1)),
       List(
         Remote_Build("macOS 13 Ventura (ARM)", "mini3",
           history_base = "build_history_base_arm",