# HG changeset patch
# User wenzelm
# Date 1493636636 -7200
# Node ID 45d0692bb019896d4044ef21ece0ce359cf73ab2
# Parent  9b7fb07b4a9634e672e14a5d8255f9ba2a61cc83
incremental download of Jenkins log files, which are also added to database;

diff -r 9b7fb07b4a96 -r 45d0692bb019 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 12:55:08 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 13:03:56 2017 +0200
@@ -30,6 +30,8 @@
 
   val release_snapshot = Path.explode("~/html-data/release_snapshot")
 
+  val jenkins_jobs = List("isabelle-nightly-benchmark")
+
   val build_log_snapshot = Path.explode("~/html-data/build_log.db")
 
 
@@ -303,6 +305,7 @@
         run_now(
           SEQ(List(build_release, build_history_base,
             PAR(remote_builds.map(seq => SEQ(seq.map(remote_build_history(rev, _))))),
+            Logger_Task("jenkins_logs", _ => Jenkins.download_logs(jenkins_jobs, main_dir)),
             Logger_Task("build_log_database", logger => database_update(logger.options)))))))
 
     log_service.shutdown()