#1231 (Jul 11, 2020, 12:50:09 AM)

1. proper session Timing for build_history log file (see 5c4800f6b25a); (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. more robust, notably for isabelle_cronjob; (detail / hgweb)
4. more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 1 hr 25 min build duration;
• 1 hr 26 min total from scheduled to completion.