--- a/src/Pure/Admin/isabelle_cronjob.scala Thu Jun 20 14:28:46 2024 +0000
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Jun 22 22:07:41 2024 +0200
@@ -366,6 +366,12 @@
args = "-a -d '~~/src/Benchmarks'",
count = () => 3)),
List(
+ Remote_Build("Windows/AFP", "windows2",
+ java_heap = "8g",
+ options = "-m32 -M6 -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" +