592 SEQ( |
592 SEQ( |
593 for { |
593 for { |
594 (r, i) <- (if (seq.length <= 1) seq.map((_, -1)) else seq.zipWithIndex) |
594 (r, i) <- (if (seq.length <= 1) seq.map((_, -1)) else seq.zipWithIndex) |
595 (rev, afp_rev) <- r.pick(logger.options, hg.id(), history_base_filter(r)) |
595 (rev, afp_rev) <- r.pick(logger.options, hg.id(), history_base_filter(r)) |
596 } yield remote_build_history(rev, afp_rev, i, r)))), |
596 } yield remote_build_history(rev, afp_rev, i, r)))), |
597 Logger_Task("jenkins_logs", _ => |
|
598 Jenkins.download_logs(logger.options, Jenkins.build_log_jobs, main_dir)), |
|
599 Logger_Task("build_log_database", |
597 Logger_Task("build_log_database", |
600 logger => Isabelle_Devel.build_log_database(logger.options, build_log_dirs)), |
598 logger => Isabelle_Devel.build_log_database(logger.options, build_log_dirs)), |
601 Logger_Task("build_status", |
599 Logger_Task("build_status", |
602 logger => Isabelle_Devel.build_status(logger.options)))))), |
600 logger => Isabelle_Devel.build_status(logger.options)))))), |
603 exit))))) |
601 exit))))) |