# HG changeset patch # User wenzelm # Date 1494330335 -7200 # Node ID bc00ac4dba256c4843d85771059e3e4a3370c07e # Parent 3f5ebf9f380e52cf78cfd34d2b4a20a419129019 more Jenkins test results; diff -r 3f5ebf9f380e -r bc00ac4dba25 src/Pure/Admin/jenkins.scala --- a/src/Pure/Admin/jenkins.scala Tue May 09 13:42:48 2017 +0200 +++ b/src/Pure/Admin/jenkins.scala Tue May 09 13:45:35 2017 +0200 @@ -50,7 +50,7 @@ /* build log status */ - val build_log_jobs = List("isabelle-nightly-benchmark") + val build_log_jobs = List("isabelle-nightly-benchmark", "isabelle-nightly-slow") val build_status_profiles: List[Build_Status.Profile] = build_log_jobs.map(job_name =>