# HG changeset patch
# User wenzelm
# Date 1691414451 -7200
# Node ID f17cbbbdb3c36564122120c6a8405ef65b959db3
# Parent  18c2c03a699da0284d7d46b4b18a59a35d1b8704
systematic testing of arm64_32-darwin;

diff -r 18c2c03a699d -r f17cbbbdb3c3 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Aug 07 13:38:10 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Aug 07 15:20:51 2023 +0200
@@ -348,6 +348,12 @@
           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 13 Ventura (ARM64)", "mini3",
+          options = "-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",
+          args = "-a -d '~~/src/Benchmarks'")),
+      List(
         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'")),