# HG changeset patch
# User wenzelm
# Date 1547926260 -3600
# Node ID 2633e166136af84e1d8600e0887105ac83fd5233
# Parent  06153e2e0cdbc32208d95a101859d7aa1a1b04dc
tuned output;

diff -r 06153e2e0cdb -r 2633e166136a src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Jan 19 20:18:26 2019 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Jan 19 20:31:00 2019 +0100
@@ -325,7 +325,7 @@
   val remote_builds2: List[List[Remote_Build]] =
     List(
       List(
-        Remote_Build("AFP slow", "lrzcloud1", self_update = true,
+        Remote_Build("AFP bulky", "lrzcloud1", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
           ssh_host = "10.155.208.96", ssh_permissive = true,
           options = "-m64 -M6 -U30000 -s10 -t AFP",