--- a/src/Pure/Admin/isabelle_cronjob.scala Tue Mar 18 08:41:07 2025 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Tue Mar 18 14:05:07 2025 +0100
@@ -353,7 +353,8 @@
" -e ISABELLE_MLTON=/usr/local/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
" -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
" -e ISABELLE_SWIPL=/usr/local/bin/swipl",
- args = "-a -d '~~/src/Benchmarks'")),
+ args = "-a -d '~~/src/Benchmarks'",
+ count = () => 0)),
List(
Remote_Build("AFP macOS (macOS 14 Sonoma, Apple Silicon)", "studio1-sonoma", history = 120,
history_base = "build_history_base_arm",