# HG changeset patch
# User wenzelm
# Date 1700423109 -3600
# Node ID 769e850bb1d70884b4942c24439f6f4d9db31933
# Parent  778831a801e3f5da949e13801277154d5aaeeeda
prefer symbolic build_history_base_arm;

diff -r 778831a801e3 -r 769e850bb1d7 .hgtags
--- a/.hgtags	Sun Nov 19 20:41:34 2023 +0100
+++ b/.hgtags	Sun Nov 19 20:45:09 2023 +0100
@@ -39,5 +39,6 @@
 abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020
 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
 c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e Isabelle2021-1
+68ffcf5cc94bd7be344a49bfff0060114ef92987 build_history_base_arm
 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
diff -r 778831a801e3 -r 769e850bb1d7 src/Pure/Admin/isabelle_cronjob.scala
--- 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=" +