# HG changeset patch
# User wenzelm
# Date 1691571081 -7200
# Node ID 36cb78cd228826cc6cddf6afe8d6fcbbdd398fe9
# Parent  10264fe8012f3825418f434afb025b9888a422be
proper history_base for AMR64;

diff -r 10264fe8012f -r 36cb78cd2288 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 09 08:24:24 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 09 10:51:21 2023 +0200
@@ -349,6 +349,7 @@
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"))),
       List(
         Remote_Build("macOS 13 Ventura (ARM64)", "mini3",
+          history_base = "8e590adaac5e",
           options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
             " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",