#2153 (Mar 15, 2024, 12:50:13 AM)

1. unused; (detail / hgweb)
2. tuned; (detail / hgweb)
3. proper IPC for scheduled builds, following 7ae25372ab04; (detail / hgweb)
4. proper check (amending 9aef1d1535ff); (detail / hgweb)
5. more synced options (following 6e5397fcc41b); (detail / hgweb)
6. avoid [no_atp] declations shadowing propositions from sledgehammer (detail / hgweb)
7. track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database; (detail / hgweb)
8. use inherited build_start, following d9fc2cc37694; (detail / hgweb)
9. update NEWS + CONTRIBUTORS for release; (detail / hgweb)
10. Tuned proofs (detail / hgweb)

Started by an SCM change

This run spent:

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