#1100 (Jan 13, 2020, 12:50:08 AM)

1. more robust; (detail / hgweb)
2. updated to sqlite-jdbc-3.30.1; (detail / hgweb)
3. updated to postgresql-42.2.9; (detail / hgweb)
4. build in $ISABELLE_HOME;
   clarified build dependencies; (detail / hgweb)
5. build in $ISABELLE_HOME;
   clarified build dependencies; (detail / hgweb)
6. clarified fresh build; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.