#1162 (Sep 8, 2017, 9:35:24 PM)

1. back to post-release mode -- after fork point; (detail / hgweb)
2. tuned; (detail / hgweb)
3. Added tag Isabelle2017-RC2 for changeset e9d8ff531700 (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 40 min build duration;
• 1 hr 45 min total from scheduled to completion.