#1319 (Oct 31, 2020, 12:50:09 AM)

1. more privileges for the sake of mysqldump (avoid workaround --no-tablespaces); (detail / hgweb)
2. Isabelle/Phabricator supports Ubuntu 20.04 LTS; (detail / hgweb)
3. tuned --- make IntelliJ IDEA happy; (detail / hgweb)
4. tuned; (detail / hgweb)
5. Added smt (verit) to Sledgehammer's proof preplay.
   Tuned preplay multithreading. (detail / hgweb)
6. unified slots (detail / hgweb)
7. unified Local_Theory.init with Generic_Target.init (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.