#
fdcab7a8 |
|
25-Mar-2019 |
wenzelm <none@none> |
tuned signature;
|
#
f9859169 |
|
18-May-2018 |
wenzelm <none@none> |
support Store with options;
|
#
296d3c0e |
|
04-Nov-2017 |
wenzelm <none@none> |
superseded by plain_identify;
|
#
1c67776c |
|
18-Oct-2017 |
wenzelm <none@none> |
more thorough treatment of afp_version and afp_pull_date;
|
#
6925e3d2 |
|
26-May-2017 |
wenzelm <none@none> |
more selective database access;
|
#
8abb7be8 |
|
21-May-2017 |
wenzelm <none@none> |
suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);
|
#
722dc9d7 |
|
10-May-2017 |
wenzelm <none@none> |
actually plot extended profile history;
|
#
f4dbe109 |
|
09-May-2017 |
wenzelm <none@none> |
more Jenkins test results;
|
#
10ab9b4f |
|
09-May-2017 |
wenzelm <none@none> |
clarified order of output;
|
#
d4fe2e3c |
|
08-May-2017 |
wenzelm <none@none> |
suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
|
#
e7b0a77a |
|
07-May-2017 |
wenzelm <none@none> |
clarified description vs. file name;
|
#
e230f16d |
|
06-May-2017 |
wenzelm <none@none> |
tuned signature;
|
#
d1b43644 |
|
06-May-2017 |
wenzelm <none@none> |
clarified name; --HG-- rename : src/Pure/Admin/build_stats.scala => src/Pure/Admin/build_status.scala
|
#
9309898c |
|
05-May-2017 |
wenzelm <none@none> |
performance statistics from build log database;
|
#
34c3e5e7 |
|
01-May-2017 |
wenzelm <none@none> |
approximate repository identify job based on isabelle-nightly-slow; more Jenkins changeset patterns found in the wild;
|
#
dd0c2f59 |
|
01-May-2017 |
wenzelm <none@none> |
more parallelism;
|
#
28109f1c |
|
01-May-2017 |
wenzelm <none@none> |
tuned;
|
#
d259c092 |
|
01-May-2017 |
wenzelm <none@none> |
proper log_path check; report progress;
|
#
d527a77e |
|
01-May-2017 |
wenzelm <none@none> |
ensure canonical order: latest first;
|
#
2b01e2d5 |
|
01-May-2017 |
wenzelm <none@none> |
tuned signature;
|
#
111fc732 |
|
01-May-2017 |
wenzelm <none@none> |
download Jenkins logs with inlined ml_statistics;
|
#
717347d6 |
|
01-May-2017 |
wenzelm <none@none> |
tuned;
|
#
d831e353 |
|
01-May-2017 |
wenzelm <none@none> |
clarified signature;
|
#
d32ed795 |
|
01-May-2017 |
wenzelm <none@none> |
tuned signature;
|
#
091c7ef4 |
|
01-May-2017 |
wenzelm <none@none> |
read ml_statistics from session logs: .db or .gz files;
|
#
407b4a86 |
|
30-Apr-2017 |
wenzelm <none@none> |
more informative log_filename;
|
#
adffeeda |
|
30-Apr-2017 |
wenzelm <none@none> |
retrieve more than just 100 builds;
|
#
b12689a7 |
|
30-Apr-2017 |
wenzelm <none@none> |
clarified modules; --HG-- rename : src/Pure/Admin/ci_api.scala => src/Pure/Admin/jenkins.scala
|