# HG changeset patch
# User wenzelm
# Date 1699210518 -3600
# Node ID 89274adb0ebe63f58dd97b432670b64a6c8bc035
# Parent  004b39bf06a5433ab75ea34c11b8a3fd7d1fe8a7
more tests;

diff -r 004b39bf06a5 -r 89274adb0ebe src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 05 19:40:39 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 05 19:55:18 2023 +0100
@@ -371,7 +371,7 @@
             " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
           args = "-a -d '~~/src/Benchmarks'")),
-      List(
+      Library.replicate(2,
         Remote_Build("Windows", "vmnipkow9", history = 90,
           components_base = "/cygdrive/d/isatest/contrib",
           options = "-m32 -M4" +
@@ -381,7 +381,8 @@
           args = "-a",
           detect =
             Build_Log.Settings.ML_PLATFORM.toString + " = " + SQL.string("x86-windows") + " OR " +
-            Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64_32-windows")),
+            Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64_32-windows"))) :::
+      Library.replicate(2,
         Remote_Build("Windows", "vmnipkow9", history = 90,
           components_base = "/cygdrive/d/isatest/contrib",
           options = "-m64 -M4" +