#5337 (Jun 20, 2024, 11:56:05 PM)

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

1. Frequency_Moments: Increase timeout to prevent build failures.
   
   The library has aquired further theories and dependencies in the last months, which may have caused the problem. (detail)

Started by an SCM change

This run spent:

• 2 min 3 sec waiting;
• 30 min build duration;
• 32 min total from scheduled to completion.