#1506 (Jul 17, 2021, 12:57:40 AM)

1. merged (detail / hgweb)
2. more robust; (detail / hgweb)
3. rebuild component; (detail / hgweb)
4. more robust: for the sake of Isabelle.app on macOS; (detail / hgweb)
5. more robust; (detail / hgweb)
6. more robust; (detail / hgweb)
7. more robust; (detail / hgweb)
8. rebuild component; (detail / hgweb)
9. more informative errors: capture low-level compiler output; (detail / hgweb)
10. more direct isabelle_scala_build: always enabled, no "Admin" requirement; (detail / hgweb)
11. tuned --- fewer warnings; (detail / hgweb)
12. clarified names; (detail / hgweb)
13. tuned --- fewer warnings; (detail / hgweb)
14. clarified directory; (detail / hgweb)
15. clarified names; (detail / hgweb)
16. clarified component setup for old graph browser; (detail / hgweb)
17. redundant: *.class and *.jar are already ignored; (detail / hgweb)
18. proper cat_lines: avoid last "\n"; (detail / hgweb)
19. merged (detail / hgweb)
20. A few new lemmas and simplifications (detail / hgweb)
21. removed support for experimental Pirate prover (detail / hgweb)
22. get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options (detail / hgweb)

Started by an SCM change

This run spent:

• 7 min 39 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 36 min total from scheduled to completion.