#2493 (Mar 15, 2024, 1:33:14 AM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

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

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. Inserted a corollary to the main result (detail)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.