Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper description;
authorwenzelm
Wed, 12 Oct 2022 13:47:52 +0200
changeset 76265 ce571ff5b502
parent 76264 60511708a650
child 76266 0b2fcf0c61db
proper description;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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(
isabelle