#1690 (Apr 10, 2022, 12:50:07 AM)

1. merged (detail / hgweb)
2. revert 2c861b196d52: still required in HOL/Library/Code_Test.thy; (detail / hgweb)
3. merged (detail / hgweb)
4. tuned --- avoid warnings in scala3; (detail / hgweb)
5. tuned --- avoid redundant patterns; (detail / hgweb)
6. avoid pattern-match warnings, notably in scala3; (detail / hgweb)
7. proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1; (detail / hgweb)
8. tuned --- accomodate scala3; (detail / hgweb)
9. proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1; (detail / hgweb)
10. back to more ambitious scala-3.1.1 (see 8b7497992301); (detail / hgweb)
11. tuned --- fewer warnings in scala3; (detail / hgweb)
12. tuned -- avoid warnings for scala3; (detail / hgweb)
13. tuned signature -- avoid warnings for scala3; (detail / hgweb)
14. removed unused flag (see 25c6423ec538); (detail / hgweb)
15. clarified versions; (detail / hgweb)
16. documentation on diagnostic devices for code generation (detail / hgweb)
17. more correct language (detail / hgweb)

Started by an SCM change

This run spent:

• 6.7 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 37 min total from scheduled to completion.