| Tue, 02 May 2017 10:12:26 +0200 | wenzelm | suppress build_log_snapshot: too bulky; | changeset | files |
| Mon, 01 May 2017 23:00:23 +0200 | wenzelm | more Jenkins logs for build_log database; | changeset | files |
| Mon, 01 May 2017 22:45:39 +0200 | wenzelm | approximate repository identify job based on isabelle-nightly-slow; | changeset | files |