Build #10523 (Sep 4, 2025, 1:54:46 PM)

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

• Started by user christophe.demarey@inria.fr
• Replayed #9

This run spent:

• 5.9 sec waiting;
• 2.2 sec build duration;
• 8.2 sec total from scheduled to completion.