src/Pure/Admin/isabelle_cronjob.scala

   val isabelle_dev_source = "http://isabelle.in.tum.de/repos/isabelle"
   val isabelle_release_source = "http://bitbucket.org/isabelle_project/isabelle-release"
   val afp_source = "https://bitbucket.org/isa-afp/afp-devel"
 
   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")
 
 
 

     run(main_start_date,
       Logger_Task("isabelle_cronjob", _ =>
         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()
 
     main_state_file.file.delete