Build #1420 (1/07/2021, 5:05:07 PM)

GitHub pull request #2502 of commit bc52a1fba56af744ea2277c9b9f7a77817f1c5df, no merge conflicts.

This run spent:

• 5.4 sec waiting;
• 6 min 47 sec build duration;
• 6 min 52 sec total from scheduled to completion.

Aborted by user Alan Garny