Build #2813 (May 6, 2024, 10:11:48 AM)

GitHub pull request #996 of commit baa195996a270857a4d3b6dd656ce1b4644504de, no merge conflicts.

This run spent:

• 1 hr 30 min waiting;
• 16 min build duration;
• 1 hr 45 min total from scheduled to completion.

Aborted by user Stephan Merkli