#1292 (Oct 1, 2020, 12:50:07 AM)

1. updated certificates to make it work again after recent changes to smt/z3 setup; (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. merged (detail / hgweb)
4. updated to sqlite-jdbc-3.32.3.2;
   support arm64-linux; (detail / hgweb)
5. build Isabelle sqlite-jdbc component from official download;
   support arm64-linux; (detail / hgweb)
6. support arm64-linux; (detail / hgweb)
7. detect arm64-linux platform; (detail / hgweb)
8. Effectively disable timeout for smt method/tactic (detail / hgweb)
9. [mirabelle] add initial documentation in Sledgehammer's doc (detail / hgweb)

Started by an SCM change

This run spent:

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