Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 2 mo ago
Took 0.42 sec

Build #13 (Feb 19, 2020, 3:44:41 PM)

Pull request #2480 updated at 3:44:33 PM on Feb 19, 2020

This run spent:

  • 4 ms waiting;
  • 0.42 sec build duration;
  • 0.43 sec total from scheduled to completion.