Build #8272 (May 16, 2024, 4:59:20 PM)

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

• Started by user marcus.denker@inria.fr

This run spent:

• 6.5 sec waiting;
• 0.68 sec build duration;
• 7.2 sec total from scheduled to completion.