Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified presentation order, according to typical amounts;
  2. present ML timing as well;
Changeset 63707:b7aab1a6cf0d by wenzelm:
clarified presentation order, according to typical amounts;
The file was modified src/Pure/Tools/build_stats.scala (diff)
Changeset 63706:76c2f833abf4 by wenzelm:
present ML timing as well;
The file was modified src/Pure/Tools/build_stats.scala (diff)