Build #481 (Aug 17, 2022, 2:16:05 PM)

GitHub pull request #490 of commit 18decd2e3c33c51cc70f90bed12f2f5982847cba, no merge conflicts.

This run spent:

• 1 min 3 sec waiting;
• 1 min 39 sec build duration;
• 2 min 43 sec total from scheduled to completion.