| #
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
|