# HG changeset patch
# User wenzelm
# Date 1493672423 -7200
# Node ID f93ae9861d09d54c3cea94a6494b1d4de2a7f699
# Parent  23897f5d885df99ab6e5d3b7202a81055ee67d13
more Jenkins logs for build_log database;

diff -r 23897f5d885d -r f93ae9861d09 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 22:45:39 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 23:00:23 2017 +0200
@@ -30,7 +30,7 @@
 
   val release_snapshot = Path.explode("~/html-data/release_snapshot")
 
-  val jenkins_jobs = List("isabelle-nightly-benchmark")
+  val jenkins_jobs = List("isabelle-nightly-benchmark", "identify")
 
   val build_log_snapshot = Path.explode("~/html-data/build_log.db")