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