# HG changeset patch
# User wenzelm
# Date 1719086861 -7200
# Node ID b8c5b23ce24c8703e97ad0310b9f72cf109b615e
# Parent  31bf95336f16e73534ec5ef0082cb1ff959190b1
more tests: Windows + AFP (see also 1fd5f96e1da3);

diff -r 31bf95336f16 -r b8c5b23ce24c src/Pure/Admin/isabelle_cronjob.scala
--- 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" +