Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: avoid crash of Build_Log.parse_build_info / Protocol.Error_Message_Marker, e.g. in session MDP-Rewards of Isabelle/26ec258e5cf8 + AFP/2859e11cc09b;
  2. proper stmt.execute() within loop (amending 9d9b30741fc4);
  3. clarified signature;
Changeset 77799:3fb2c47a7605 by wenzelm:
more robust: avoid crash of Build_Log.parse_build_info / Protocol.Error_Message_Marker, e.g. in session MDP-Rewards of Isabelle/26ec258e5cf8 + AFP/2859e11cc09b;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 77798:28c930aefb28 by wenzelm:
proper stmt.execute() within loop (amending 9d9b30741fc4);
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 77797:2f289a22ae00 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_status.scala (diff)