#2497 (Mar 19, 2024, 1:33:11 AM)

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

1. disable taskset for now: performance impact is negative; (detail)
2. allow specifying initial schedule; (detail)
3. clarify use of num_threads vs. max_cpus; (detail)
4. clarified host: pre-load max threads; (detail)
5. clarified: more operations; (detail)

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

1. Remove stuff following Isabelle/d0205dde00bb and related changesets (detail)
2. fixed broken definitions and proofs following Isabelle/8d153846f65f (detail)
3. Universal_Hash_Families: Remove accidental duplication of pmf_of_set_prod_eq. (detail)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.