# HG changeset patch
# User wenzelm
# Date 1720453460 -7200
# Node ID c8537bef99eb4dfbef76ff9e0809272cf73a89cd
# Parent  432d4412673715568243ae4e20bc9f8cea750d4f
disable old tests;

diff -r 432d44126737 -r c8537bef99eb src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Jul 08 10:14:22 2024 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Jul 08 17:44:20 2024 +0200
@@ -186,6 +186,27 @@
 
   val remote_builds_old: List[Remote_Build] =
     List(
+      Remote_Build("Windows", "vmnipkow9", history = 90,
+        components_base = "/cygdrive/d/isatest/contrib",
+        options = "-m32 -M4" +
+          " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
+          " -e ISABELLE_GHC_SETUP=true" +
+          " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
+        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"),
+        count = () => 2),
+      Remote_Build("Windows", "vmnipkow9", history = 90,
+        components_base = "/cygdrive/d/isatest/contrib",
+        options = "-m64 -M4" +
+          " -S /cygdrive/d/isatest/contrib" +
+          " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
+          " -e ISABELLE_GHC_SETUP=true" +
+          " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
+        args = "-a",
+        detect = Build_Log.Settings.ML_PLATFORM.toString + " = " + SQL.string("x86_64-windows"),
+        count = () => 2),
       Remote_Build("Linux A", "augsburg1",
         options = "-m32 -B -M4" +
           " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
@@ -371,28 +392,7 @@
           options = "-m32 -M1x6 -t AFP",
           args = "-a -X large -X slow",
           afp = true,
-          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP")),
-        Remote_Build("Windows", "vmnipkow9", history = 90,
-          components_base = "/cygdrive/d/isatest/contrib",
-          options = "-m32 -M4" +
-            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
-            " -e ISABELLE_GHC_SETUP=true" +
-            " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
-          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"),
-          count = () => 2),
-        Remote_Build("Windows", "vmnipkow9", history = 90,
-          components_base = "/cygdrive/d/isatest/contrib",
-          options = "-m64 -M4" +
-            " -S /cygdrive/d/isatest/contrib" +
-            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
-            " -e ISABELLE_GHC_SETUP=true" +
-            " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
-          args = "-a",
-          detect = Build_Log.Settings.ML_PLATFORM.toString + " = " + SQL.string("x86_64-windows"),
-          count = () => 2))
+          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP")))
     )
   }