Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 70195 e4abb5235c5e
parent 69955 160fcaf502d7
child 70227 ce9134bdc1d4 
--- 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