Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned output;
authorwenzelm
Sat, 19 Jan 2019 20:31:00 +0100
changeset 69694 2633e166136a
parent 69693 06153e2e0cdb
child 69695 753ae9e9773d
tuned output;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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",
isabelle