Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust sorted_entries;
  2. more convenient build_log_history;
Changeset 67003:49850a679c2c by wenzelm:
more robust sorted_entries;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 67002:e8d64340d58b by wenzelm:
more convenient build_log_history;
The file was modified src/Pure/Admin/build_status.scala (diff)