Build #2 (May 2, 2024, 9:59:16 AM)

Started by user guillermo.polito@inria.fr

This run spent:

• 12 min waiting;
• 13 min build duration;
• 13 min total from scheduled to completion.