Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Java heap, e.g. relevant for hg.graph on Isabelle repository;
  2. more robust check -- do not rely on return code;
  3. more compact ML_Statistics, to make build_status work with less than 2GB heap;
  4. retain latest ml_stats (amending e76c6cb0d461);
Changeset 67762:8b61174a3aa2 by wenzelm:
more Java heap, e.g. relevant for hg.graph on Isabelle repository;
The file was modified etc/settings (diff)
Changeset 67761:c07bc12d89f2 by wenzelm:
more robust check -- do not rely on return code;
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 67760:553d9ad7d679 by wenzelm:
more compact ML_Statistics, to make build_status work with less than 2GB heap;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/ML/ml_statistics.scala (diff)
Changeset 67759:56eba30e7b99 by wenzelm:
retain latest ml_stats (amending e76c6cb0d461);
The file was modified src/Pure/Admin/build_status.scala (diff)