Build #2805 (May 3, 2024, 11:54:58 AM)

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

Started by user Frederic Gurr

Rebuilds build #2,804

This run spent:

• 14 min waiting;
• 15 min build duration;
• 15 min total from scheduled to completion.