# HG changeset patch
# User wenzelm
# Date 1711285470 -3600
# Node ID 1fd5f96e1da338cf04e8c622d91dbafa59e4763c
# Parent  f83e9e9a898ec980cd46328f8ed97e461236c1e2
shutdown lrzcloud2;

diff -r f83e9e9a898e -r 1fd5f96e1da3 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 23 07:59:53 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Mar 24 14:04:30 2024 +0100
@@ -228,6 +228,25 @@
           args = "-N -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP")),
+      Remote_Build("AFP old2", "lrzcloud2", history = 120,
+        java_heap = "8g",
+        options = "-m32 -M1x5 -t AFP" +
+          " -e ISABELLE_GHC=ghc" +
+          " -e ISABELLE_MLTON=mlton -e ISABELLE_MLTON_OPTIONS=" +
+          " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
+          " -e ISABELLE_SMLNJ=sml",
+        args = "-a -X large -X slow",
+        afp = true,
+        detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP"),
+        count = () => if (Date.now().unix_epoch_day % 2 == 0) 1 else 0),
+      Remote_Build("AFP old2", "lrzcloud2",
+        java_heap = "8g",
+        options = "-m64 -M8 -U30000 -s10 -t AFP",
+        args = "-g large -g slow",
+        afp = true,
+        bulky = true,
+        detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP"),
+        count = () => if (Date.now().unix_epoch_day % 2 == 1) 1 else 0),
       Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
         history_base = "37074e22e8be",
         options = "-m32 -B -M1x2,2 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",
@@ -369,27 +388,7 @@
   }
 
   val remote_builds2: List[List[Remote_Build]] =
-    List(
-      List(
-        Remote_Build("AFP", "lrzcloud2", history = 120,
-          java_heap = "8g",
-          options = "-m32 -M1x5 -t AFP" +
-            " -e ISABELLE_GHC=ghc" +
-            " -e ISABELLE_MLTON=mlton -e ISABELLE_MLTON_OPTIONS=" +
-            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
-            " -e ISABELLE_SMLNJ=sml",
-          args = "-a -X large -X slow",
-          afp = true,
-          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP"),
-          count = () => if (Date.now().unix_epoch_day % 2 == 0) 1 else 0),
-        Remote_Build("AFP", "lrzcloud2",
-          java_heap = "8g",
-          options = "-m64 -M8 -U30000 -s10 -t AFP",
-          args = "-g large -g slow",
-          afp = true,
-          bulky = true,
-          detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP"),
-          count = () => if (Date.now().unix_epoch_day % 2 == 1) 1 else 0)))
+    List()
 
   def remote_build_history(
     rev: String,