#1932 (Apr 10, 2023, 12:50:09 AM)

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; (detail / hgweb)
2. proper stmt.execute() within loop (amending 9d9b30741fc4); (detail / hgweb)
3. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 57 min build duration;
• 1 hr 57 min total from scheduled to completion.