changeset 65736 | 2e7230b66a32 |
parent 65735 | 4eab1aa8f9c3 |
child 65746 | dead16007097 |
--- a/src/Pure/Admin/isabelle_cronjob.scala Fri May 05 20:00:53 2017 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Sat May 06 00:12:46 2017 +0200 @@ -32,7 +32,7 @@ val release_snapshot = devel_dir + Path.explode("release_snapshot") val build_log_snapshot = devel_dir + Path.explode("build_log.db") - val jenkins_jobs = List("isabelle-nightly-benchmark", "identify") + val jenkins_jobs = "identify" :: Jenkins.build_log_jobs