# HG changeset patch
# User wenzelm
# Date 1698916332 -3600
# Node ID 0c7419d3dd597d9acdf3c59dedccd790280f4a97
# Parent  711acefe97a39359cbc3c9c21561000fec211e0b
disable multi-builds (again): does not quite work yet;

diff -r 711acefe97a3 -r 0c7419d3dd59 src/Pure/Admin/isabelle_cronjob.scala
--- 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",