Started 3 yr 4 mo ago
Took 15 min on built-in

Build #1180 (5/11/2020, 6:49:11 PM)

Some minor cleaning up
No changes.

GitHub pull request #2420 of commit e2a9b6313f9db13e75d4f890f810cabfb770f2c5, no merge conflicts.

This run spent:

  • 6.8 sec waiting;
  • 15 min build duration;
  • 16 min total from scheduled to completion.

Configurations

default