Build #8253 (May 15, 2024, 12:30:34 PM)

Started by upstream project "Test pending pull request and branch Pipeline/PR-16653" build number 2
originally caused by:

• Started by user marcus.denker@inria.fr

This run spent:

• 7.9 sec waiting;
• 0.66 sec build duration;
• 8.6 sec total from scheduled to completion.