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.
sequential build_release: it uses some of the test machines for pre-built images;
authorwenzelm
Thu, 25 Apr 2019 10:19:48 +0200
changeset 70195 e4abb5235c5e
parent 70194 da497279f492
child 70196 b7ef9090feed
sequential build_release: it uses some of the test machines for pre-built images;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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 =>
isabelle