equal
deleted
inserted
replaced
529 Logger_Task("isabelle_cronjob", logger => |
529 Logger_Task("isabelle_cronjob", logger => |
530 run_now( |
530 run_now( |
531 SEQ(List( |
531 SEQ(List( |
532 init, |
532 init, |
533 build_history_base, |
533 build_history_base, |
|
534 build_release, |
534 PAR( |
535 PAR( |
535 build_release :: |
|
536 List(remote_builds1, remote_builds2).map(remote_builds => |
536 List(remote_builds1, remote_builds2).map(remote_builds => |
537 SEQ(List( |
537 SEQ(List( |
538 PAR(remote_builds.map(_.filter(_.active)).map(seq => |
538 PAR(remote_builds.map(_.filter(_.active)).map(seq => |
539 SEQ( |
539 SEQ( |
540 for { |
540 for { |