# HG changeset patch
# User wenzelm
# Date 1698767343 -3600
# Node ID f464f6bc5809cc36f7aa6e226797f66d46460562
# Parent  78fcd5bf6b2aed094e73cbe3de30a9bd52a51197
tuned signature;

diff -r 78fcd5bf6b2a -r f464f6bc5809 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 31 16:45:39 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 31 16:49:03 2023 +0100
@@ -561,6 +561,9 @@
     def SEQ(tasks: List[Logger_Task]): Logger_Task = Logger_Task(body = _ =>
       for (task <- tasks.iterator if !exclude_task(task.name) || task.name == "") run_now(task))
 
+    def SEQUENTIAL(tasks: Logger_Task*): Logger_Task =
+      SEQ(tasks.toList)
+
     def PAR(tasks: List[Logger_Task]): Logger_Task =
       Logger_Task(body =
         { _ =>
@@ -599,7 +602,7 @@
     run(main_start_date,
       Logger_Task("isabelle_cronjob", logger =>
         run_now(
-          SEQ(List(
+          SEQUENTIAL(
             init,
             PAR(
               List(
@@ -612,7 +615,7 @@
                       snapshot = Some(Isabelle_Devel.build_log_snapshot))))),
             PAR(
               List(remote_builds1, remote_builds2).map(remote_builds =>
-              SEQ(List(
+              SEQUENTIAL(
                 PAR(remote_builds.map(_.filter(_.active())).map(seq =>
                   SEQ(
                     for {
@@ -620,8 +623,8 @@
                       (rev, afp_rev) <- r.pick(logger.options, hg.id(), history_base_filter(r))
                     } yield remote_build_history(rev, afp_rev, i, r)))),
                 Logger_Task("build_status",
-                  logger => Isabelle_Devel.build_status(logger.options)))))),
-            exit)))))
+                  logger => Isabelle_Devel.build_status(logger.options))))),
+            exit))))
 
     log_service.shutdown()