# HG changeset patch
# User wenzelm
# Date 1556180388 -7200
# Node ID e4abb5235c5e64bab263fd6c87ec17ae8f5fa715
# Parent  da497279f492b570f9760ba6396dc0d785913759
sequential build_release: it uses some of the test machines for pre-built images;

diff -r da497279f492 -r e4abb5235c5e src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Apr 24 22:29:03 2019 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Apr 25 10:19:48 2019 +0200
@@ -531,8 +531,8 @@
           SEQ(List(
             init,
             build_history_base,
+            build_release,
             PAR(
-              build_release ::
               List(remote_builds1, remote_builds2).map(remote_builds =>
               SEQ(List(
                 PAR(remote_builds.map(_.filter(_.active)).map(seq =>