Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. statistics from session build output;
  2. more uniform output;
Changeset 63686:66f217416da7 by wenzelm:
statistics from session build output;
The file was addedsrc/Pure/Tools/build_stats.scala
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 63685:bd4b7962b65a by wenzelm:
more uniform output;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)