src/Pure/Admin/isabelle_cronjob.scala
changeset 67008 eed58245b579
parent 66980 8947cf58cb86
child 67048 ec438988b65a
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 04 19:44:28 2017 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 04 21:06:02 2017 +0100
     1.3 @@ -24,8 +24,6 @@
     1.4    val isabelle_repos_test = main_dir + Path.explode("isabelle-test")
     1.5    val afp_repos = main_dir + Path.explode("AFP")
     1.6  
     1.7 -  val jenkins_jobs = "identify" :: Jenkins.build_log_jobs
     1.8 -
     1.9    val build_log_dirs =
    1.10      List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log"))
    1.11  
    1.12 @@ -467,7 +465,8 @@
    1.13                        (r, i) <- (if (seq.length <= 1) seq.map((_, -1)) else seq.zipWithIndex)
    1.14                        (isabelle_rev, afp_rev) <- r.pick(logger.options, rev, history_base_filter(r))
    1.15                      } yield remote_build_history(isabelle_rev, afp_rev, i, r)))),
    1.16 -                Logger_Task("jenkins_logs", _ => Jenkins.download_logs(jenkins_jobs, main_dir)),
    1.17 +                Logger_Task("jenkins_logs", _ =>
    1.18 +                  Jenkins.download_logs(Jenkins.build_log_jobs, main_dir)),
    1.19                  Logger_Task("build_log_database",
    1.20                    logger => Isabelle_Devel.build_log_database(logger.options, build_log_dirs)),
    1.21                  Logger_Task("build_status",