#914 (May 22, 2017, 12:46:31 AM)

1. back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test; (detail / hgweb)
2. suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021); (detail / hgweb)
3. more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2); (detail / hgweb)
4. merged (detail / hgweb)
5. show failed sessions on main page; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. HTML rendering based on Isabelle/jEdit colors; (detail / hgweb)
8. refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash; (detail / hgweb)
9. incremental build progress, to see state after unexpected failure (see also b3d6fb291f58); (detail / hgweb)
10. more Progress variations; (detail / hgweb)
11. more systematic separation of build_history directories (see also 80c1c1f53e72); (detail / hgweb)
12. updated dependencies; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 53 min build duration;
• 58 min total from scheduled to completion.