# HG changeset patch
# User wenzelm
# Date 1742680703 -3600
# Node ID b4b38518967645742924e480b86364acf1f507aa
# Parent  d0838fb98fc3e6c6ddb546cf8f5fa00537f3c152
reactivate test after upgrade from macOS 11 to 12, with refresh of Xcode + homebrew;

diff -r d0838fb98fc3 -r b4b385189676 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 22 13:54:18 2025 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 22 22:58:23 2025 +0100
@@ -346,15 +346,14 @@
       List(Remote_Build("Linux B", "lxbroy10", history = 90,
         options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
       List(
-        Remote_Build("macOS 11 Big Sur (Intel)", "mini1",
+        Remote_Build("macOS 12 Monterey (Intel)", "mini1-monterey",
           options = "-m32 -B -M1x2,2,4 -p pide_session=false" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_MLTON=/usr/local/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
-          args = "-a -d '~~/src/Benchmarks'",
-          count = () => 0)),
+          args = "-a -d '~~/src/Benchmarks'")),
       List(
         Remote_Build("AFP macOS (macOS 14 Sonoma, Apple Silicon)", "studio1-sonoma", history = 120,
           history_base = "build_history_base_arm",