#331 (May 22, 2017, 1:39:29 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)
13. added one more simplification to help replay (detail / hgweb)
14. adapt to Scala 2.12.x (detail / hgweb)

Started by an SCM change

This run spent:

• 49 min waiting;
• 1 hr 17 min build duration;
• 2 hr 7 min total from scheduled to completion.