--- a/src/Pure/Admin/isabelle_cronjob.scala Tue Oct 31 17:32:56 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Thu Nov 02 10:12:12 2023 +0100
@@ -368,7 +368,7 @@
" -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
" -e ISABELLE_SWIPL=/usr/local/bin/swipl",
args = "-a -d '~~/src/Benchmarks'")),
- List(remote_build_studio1, remote_build_studio1),
+ List(remote_build_studio1),
List(
Remote_Build("macOS, quick_and_dirty", "mini2",
options = "-m32 -M4 -t quick_and_dirty -p pide_session=false",
@@ -379,7 +379,7 @@
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"),
active = () => false)),
- List(remote_build_mini3, remote_build_mini3, remote_build_mini3),
+ List(remote_build_mini3),
List(
Remote_Build("Windows", "vmnipkow9", historic = true, history = 90,
components_base = "/cygdrive/d/isatest/contrib",