#1555 (Sep 23, 2021, 12:50:12 AM)

1. avoid problems with launch4j and jdk-17; (detail / hgweb)
2. update to jdk-17+35 (LTS); (detail / hgweb)
3. tuned message; (detail / hgweb)
4. unused since 398b7bb9ebdd; (detail / hgweb)
5. merged (detail / hgweb)
6. removed checks for non-commercial usage of Vampire as it is now under BSD licence (detail / hgweb)
7. enabled FOOL for Vampire in Sledgehammer (detail / hgweb)
8. used Vampire 4.5.1 in Sledgehammer (detail / hgweb)
9. proper NEWS; (detail / hgweb)
10. tuned NEWS; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.9 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.