Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. less restrictive filter: omit empty charts, but show latest timing;
  2. prefer explicit output file: potentially more robust than stdout;
  3. proper init_settings, before inspecting ML_HOME etc;
  4. support for explicit output file: potentially more robust than stdout;
  5. proper init_settings for init_component (before generated ML_OPTIONS etc.); fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500";
  6. more arg_min
Changeset 65847:ad35427dbe88 by wenzelm:
less restrictive filter: omit empty charts, but show latest timing;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65846:aa6e58dc54d0 by wenzelm:
prefer explicit output file: potentially more robust than stdout;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 65845:b8ff63149256 by wenzelm:
proper init_settings, before inspecting ML_HOME etc;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 65844:76e60a142ca1 by wenzelm:
support for explicit output file: potentially more robust than stdout;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 65843:d547173212d2 by wenzelm:
proper init_settings for init_component (before generated ML_OPTIONS etc.);<br>fresh start for &quot;Poly/ML 5.7 Linux&quot;, suppressing old builds with ML_OPTIONS=&quot;-H 500&quot;;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65842:42420ae446a2 by nipkow:
more arg_min
The file was modified src/HOL/Lattices_Big.thy (diff)