Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. enforce detailed build log;
  2. record heap sizes;
  3. inline session ML statistics into main build log; tuned;
  4. modernized;
Changeset 64121:f2c8f6b11dcf by wenzelm:
enforce detailed build log;
The file was modified src/Pure/Tools/build_history.scala (diff)
Changeset 64120:6c5039016321 by wenzelm:
record heap sizes;
The file was modified src/Pure/Tools/build_history.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64119:8094eaa38d4b by wenzelm:
inline session ML statistics into main build log;<br>tuned;
The file was modified src/Pure/Tools/build_history.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64118:0996fab2ec03 by wenzelm:
modernized;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build_history.scala (diff)