Build #2806 (May 3, 2024, 12:35:12 PM)

GitHub pull request #984 of commit 32a52efa320841199a4d5bc920b2a1bafa2daa24, no merge conflicts.

Started by user Frederic Gurr

Rebuilds build #2,805

This run spent:

• 37 sec waiting;
• 1 min 3 sec build duration;
• 1 min 3 sec total from scheduled to completion.