# HG changeset patch # User wenzelm # Date 1691571857 -7200 # Node ID 2a26d423d9fb9e79b1e84621fbeeace6c43dd205 # Parent 36cb78cd228826cc6cddf6afe8d6fcbbdd398fe9 afford multiple tests for arm64_32-darwin on this fast machine; diff -r 36cb78cd2288 -r 2a26d423d9fb src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Wed Aug 09 10:51:21 2023 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Aug 09 11:04:17 2023 +0200 @@ -307,6 +307,14 @@ } } + val remote_build_mini3 = + 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", + args = "-a -d '~~/src/Benchmarks'") + val remote_builds1: List[List[Remote_Build]] = { List( List(Remote_Build("Linux A", "augsburg1", @@ -347,13 +355,7 @@ Remote_Build("macOS, skip_proofs", "mini2", 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", - 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", - args = "-a -d '~~/src/Benchmarks'")), + List(remote_build_mini3, remote_build_mini3, remote_build_mini3), List( Remote_Build("macOS 12 Monterey", "monterey", user = "makarius", options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false",