Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more Jenkins logs for build_log database;
authorwenzelm
Mon, 01 May 2017 23:00:23 +0200
changeset 65675 f93ae9861d09
parent 65674 23897f5d885d
child 65676 c9c352583b16
more Jenkins logs for build_log database;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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")
isabelle