Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. afford multiple tests on fast machines (see also edb4faf666c9 and 2a26d423d9fb); proper history_base for ARM;
  2. performance tuning: parallel and incremental update of build_log_database;
  3. performance tuning: more careful database access;
  4. clarified message;
  5. tuned signature;
  6. tuned;
Changeset 78861:5c91bd51fc37 by wenzelm:
afford multiple tests on fast machines (see also edb4faf666c9 and 2a26d423d9fb);<br>proper history_base for ARM;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78860:4838a27794ac by wenzelm:
performance tuning: parallel and incremental update of build_log_database;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78859:aeb511a520f4 by wenzelm:
performance tuning: more careful database access;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78858:763dd9bdb101 by wenzelm:
clarified message;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78857:a79bd9d82c00 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78856:66634877e34c by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)