Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 78999 769e850bb1d7
parent 78998 778831a801e3
child 79066 0da44db32646 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 20:41:34 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 20:45:09 2023 +0100
@@ -310,7 +310,7 @@
           args = "-a -d '~~/src/Benchmarks'")),
       List(
         Remote_Build("macOS 14 Sonoma (ARM)", "studio1-sonoma",
-          history_base = "68ffcf5cc94b",
+          history_base = "build_history_base_arm",
           options = "-m32 -B -M1x4,2x4,4x2,8 -p pide_session=false" +
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
@@ -329,7 +329,7 @@
           count = () => 0)),
       List(
         Remote_Build("macOS 13 Ventura (ARM)", "mini3",
-          history_base = "68ffcf5cc94b",
+          history_base = "build_history_base_arm",
           options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
             " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
isabelle