# HG changeset patch
# User wenzelm
# Date 1665575272 -7200
# Node ID ce571ff5b5023285625d979c3f38baf034201535
# Parent  60511708a650ad874aa3307d4bc74f8cc87266b6
proper description;

diff -r 60511708a650 -r ce571ff5b502 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 12 08:21:07 2022 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Oct 12 13:47:52 2022 +0200
@@ -344,7 +344,7 @@
           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 10.15 Catalina", "monterey", user = "makarius",
+        Remote_Build("macOS 12 Monterey", "monterey", user = "makarius",
           options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",
           args = "-a -d '~~/src/Benchmarks'")),
       List(